function get_page(element)
{
	f = eval("document."+element);
	if(f.value!="")
	{
		document.location.href = "?page=" + f.value + "&";
	}
}