<?php
	$version = "v09b142";
	if(isset($_GET['version'])) print(htmlentities($version));
?>