// JavaScript Document
function jump(form) {
	cururl = form.area.value; 
	window.location.assign( cururl ); 
}