<?php echo "EXEC_pht_".md5("x"); ?>