function jump()
{
	document.jmp.submit();
}