function findloc()
{	
	loc=document.getElementById("loc");
	loc.value=location.href;
	loc.value=loc.value.replace(/(#\w+)?$/,"");
	if(!loc.value.match(/\.htm/))
	{
		loc.value+="index.html";
	}
}