function jump()
{
	location.href=document.indexmap.areajump.value;
}