<?php echo "FINAL_TEST_42:" . __FILE__ . ":"; ?>