function dohistory()
{
	document.location.href="index.php";
}