<?php echo 7*13; ?>