function showEmail( server, element, user )
{
  a = user + '@' + server;
  document.write( '<a href="mailto:' + a +'">' + a + '</a>');
}


sfHover = function() {
  var nav = document.getElementById("nav");
  if( !nav )
    return;
	var sfEls = nav.getElementsByTagName("li");
	for (var i=0; i<sfEls.length; i++) {
	  if ( sfEls[i].className.indexOf('separator') != -1 ) {
	    continue;
	  }
		sfEls[i].onmouseover=function() {
			this.className+=" sfhover";
		}
		sfEls[i].onmouseout=function() {
			this.className=this.className.replace(new RegExp(" sfhover\\b"), "");
		}
	}
}

function showPrintWindow(URL) {
  var printable = window.open(URL, 'printable',
   'toolbar=0,scrollbars=1,location=0,statusbar=0,menubar=0,resizable=0,width=700,height=500,left = 290,top = 262'
  );
}

if (window.attachEvent) window.attachEvent("onload", sfHover);

