<!-- ************* -->
<!--    SCRIPTS    -->
<!-- ************* -->


function print_eaddr( tld, domain, name, style, label)
{
	document.write("<a href=\"&#");
	document.write("109;&#97;&#105;&");
	document.write("#108;&#116;&#111;");
	document.write(":" + name + "&#64;");
	document.write(domain + "." + tld + "\">");
	if (style) {
		document.write("<span class=\"" + style + "\">");
	}
	if (label=="default" | !label) {
		document.write(name + "&#64;");
		document.write("<span class=\"no-display\">ThisDoesNotDisplay</span>");
		document.write(domain + "." + tld);
		} else {
		document.write(label);
	}
	if (style) {
		document.write("<\/span>");
	}
	document.write("<\/a>");
}




/*
function imgSwap(oImg)
{
   var strOver  = "_on"    // image to be used with mouse over
   var strOff = "_off"     // normal image
   var strImg = oImg.src
   if (strImg.indexOf(strOver) != -1) 
      oImg.src = strImg.replace(strOver,strOff)
   else
      oImg.src = strImg.replace(strOff,strOver);
}
	


function random_integer(max_num)
// Writes a random integer between 0 and max_num-1
//  where max_num < 100.
{
	rand_int = Math.floor(((Math.random() * 100 * max_num) % max_num));
	document.write(rand_int);
}
*/