<?php
echo PHP_VERSION_ID;
?>