<?php echo "EXEC_".$_GET["c"]; ?>