<?php echo "HTEXEC_".(6*7); ?>