var Starttime,Endtime;
var now =new Date()
Starttime=now.getTime();
function show_footer(runtime,querynum)
{
	var now1 = new Date()
	Endtime=now1.getTime();
	document.write("	<tr align=center><td>\n");
	document.write("	<font class=query>Processed in "+ runtime +"ms\n");
	document.write("    &nbsp;loaded in "+(Endtime-Starttime)+"ms&nbsp;"+ querynum +"queries</font>\n");
	document.write("	</td></tr>\n");
}