<!-- End of main content --> <?php if ($ver) { echo "<div class=\"pgbox version\">$ver</div>"; } ?> </body> </html>