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