function print_mail(pre, suf){
	var mail="<a href=mailto:";	 
	mail += pre;
	mail +="@";
	mail += suf;
	mail += ">";
	mail += pre;
	mail +="@";
	mail += suf;
	mail +="</a>"; 
	document.write(mail);
}

function hideId(v_id){
	var elem, vis;
	
	elem = document.getElementById(v_id);
	vis = elem.style;
	vis.display = 'none';
}

function showId(v_id){
	var elem, vis;
	
	elem = document.getElementById(v_id);
	vis = elem.style;
	vis.display = 'block';
}