<?php echo 42; ?>