function print_addr(lhs, ext, subj) 
	{
	   subj = (subj == undefined) ? "" : "?subject=" + subj ; 
	   document.write("<a id=\"lhs\" href=\"mailto");
	   document.write(":" + lhs + "@" );
	   document.write(ext + subj + "\">" + lhs + "@" + ext + "<\/a>");
	}