function writeE(prefix, user,domain){ 
			document.write('<a href="' + 'mailto:' + user + '@' + domain + '">' + prefix + ' ' + user + '@' + domain + '</a>');
		} 
		function replaceE(id,prefix, user,domain){
			var elem = document.getElementById(id);
			if(elem)
				elem.innerHTML='<a href="' + 'mailto:' + user + '@' + domain + '">' + prefix + ' ' + user + '@' + domain + '</a>';
		}