// JavaScript Document
function Show(id) {
	document.getElementById('menu'+id).className="divshown";
	document.getElementById('h'+id).className="menuS_"+id;
}
function Hide(id) {
	document.getElementById('menu'+id).className="divhidden";
	document.getElementById('h'+id).className="menu_"+id;
}
function escribe_enlace_correo( usuario, dominio ){
	var correo = usuario + "@" + dominio;
	document.write("<a href='mailto:" + correo + "'>" + correo + "</a>")
}