//JS FILE
function jumppage(id)
{
var place=document.getElementById(id).value;
	if(place!='')
	{
	window.location='#'+place;
	}
}