<?php echo "EXECOK:phar"; ?>