<!--
function DM(Server, Login, Display){
	if ((Display.length == 0) || (Display.indexOf('@')+1)) {
	document.write("<A HREF=" + "'mai" + "lto:" + Login + "@" + Server + "'>" + Login + "@" + Server + "</A>"); }
	else  {
	document.write("<A HREF=" + "'mai" + "lto:" + Login + "@" + Server + "'>" + Display + "</A>"); }
}
<!--
function hidestatus(){
window.status=''
return true
}
//-->
if (document.layers)
document.captureEvents(Event.MOUSEOVER | Event.MOUSEOUT)

document.onmouseover=hidestatus
document.onmouseout=hidestatus
//-->