function mailAntiSpam(nombre, contacto)
	{
	var usuario = nombre;
	var usuargm = 'infoivic';
	var usuargmx = 'xjayaro';
	var dominio = "ivic.gob.ve";
	var dominiogm = 'gmail.com';
	if (contacto == 'correo')
		var texto = usuario + "@" + dominio;
	else
		var texto = contacto;
	if (nombre=='bibliotk' || nombre=='infoivic')
		document.write("<a href=\"mailto:" + usuario + "@" + dominio + "?&cc=" + usuargm + "@" + dominiogm + "&cc=" + usuargmx + "@" + dominiogm + "\">" + texto + "</a>")
	else
		document.write("<a href=\"mailto:" + usuario + "@" + dominio + "\">" + texto + "</a>")
	}