<?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 xmlns="http://www.w3.org/1999/xhtml"> <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 Google Maps</title> <script src="http://maps.google.com/maps?file=api&v=2&key=ABQIAAAAdiP-i78VGweF9QIs3Kzx5xSrBOD9wh0lHQGbvVgYRG7Dg2gE1xQNhJmY4S8_BwZb4md1JO0soLOr8w" type="text/javascript"></script> <script type="text/javascript" src="google_map.js"></script> </head> <?php echo '<body onload="load(' . ( ( (float)$start_micro + (float)$start_sec ) * 1000 ) . ',' . ( ( isset( $_REQUEST['top'] ) ) ? $_REQUEST['top'] : 10 ) . ',' . ( ( isset( $_REQUEST['show'] ) ) ? "'" . $_REQUEST['show'] . "'" : "'both'" ) . ',' . ( ( isset( $_REQUEST['eprint'] ) ) ? ( "'" . $_REQUEST['eprint'] . "'" ) : "''" ) . ')" onunload="GUnload()">'; ?> <h1>Repository hit visualisation using Google Maps</h1> <div id="timer">Loading…</div> <div id="map" style="width:1024px; height:768px; border:1px solid black;"></div> </body>