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