function formubmit(leform){
	var leform=document.getElementById('leform');
	if (leform){
		leform.submit();
	}
}

function go(el){
	var box = document.getElementById(el);
	var destination = box.options[box.selectedIndex].value;
	if (destination) location.href = destination;
}

function dolink(ad){
   link = 'mailto:' + ad.replace(/\.\..\.\./,"@"); 
   return link;
}