function timestart()
{
	var myDate = new Date();
	var mili = myDate.getMilliseconds();
	document.getElementById('timer').value=mili;
}

function timeend()
{
	var myDate = new Date();
	var mili=myDate.getMilliseconds();
	window.status+=" ["+((mili-document.getElementById('timer').value)/1000)+"]";
}