function jump(form){
	var myindex=form.menu.selectedIndex
	if(form.menu.options[myindex].value != "0"){
		window.open(form.menu.options[myindex].value, target="_self");
	}
}

function antispam(name,domain) {
	document.location = "mailto:" + name + "@" + domain;
}