Newer
Older
Digital_Repository / Repositories / Maps / gd_map.js
// Grab page initialisation time.
var startTime = new Date();

function imageLoaded()
{
	var endTime = new Date();
	document.getElementById( "timer" ).innerHTML = 'Page generated in ' + ( endTime - startTime ) + 	' ms.';
}