<?php
	list( $start_micro, $start_sec ) = explode( " ", microtime() );
?>

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN"
        "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
<html>
<head>
	<meta http-equiv="content-type" content="text/html; charset=utf-8" />
	<meta http-equiv="cache-control" content="no-cache" />
	<meta http-equiv="pragma" content="no-cache" />
	<title>Repository hit visualisation using GD</title>
	<meta name="generator" content="BBEdit 8.2" />
	<script type="text/javascript" src="gd_map.js"></script>
</head>
<body>

<h1>Repository hit visualisation using GD</h1>

<div id="timer">Loading&hellip;</div>

<div>
<?php
	echo '<img id="map" src="gd_map.pl?width=1024&amp;height=520&amp;top='
		. ( ( isset( $_REQUEST['top'] ) ) ? $_REQUEST['top'] : 10 )
		. '&amp;show='
		. ( ( isset( $_REQUEST['show'] ) ) ? $_REQUEST['show'] : 'both' )
		. '&amp;eprint='
		. ( ( isset( $_REQUEST['eprint'] ) ) ? $_REQUEST['eprint'] : '' )
		. '" onLoad="imageLoaded('
		. ( ( (float)$start_micro + (float)$start_sec ) * 1000 )
		. ')" width="1024" height="520" alt="" style="border:1px solid black;" />';
?>
</div>

</body>
</html>
