// JavaScript Document

function email2(account, server, name) {
	document.write("<a href=\"mailto:" + account + "@" + server+ "\">" + name + "</a>");
}

function email(account, server) {
	document.write("<a href=\"mailto:" + account + "@" + server+ "\">" + account + "@" + server + "</a>");
}

function phone(a, b, c) {
	document.write("(" + a + ") " + b + "-" + c);
}


/*  
Script made by Martial Boissonneault © 2002-03 http://getElementById.com/
This script may be used and changed freely as long as this msg is intact
Visit http://getElementById.com/ for more free scripts and tutorials.
*/
var ie5 = (document.getElementById && document.all); 
var ns6 = (document.getElementById && !document.all);

function showFilter(obj, visibility) {
	if(ie5){
//		menu[obj].style.filter = splitVerticalOut; // set your effect from one of the top 25 differents effects

//		menu[obj].filters[0].Apply();
		menu[obj].style.visibility = visibility;
//		menu[obj].filters[0].Play();
	}
	else if(ns6){
		menu[obj].style.visibility = visibility;
	}
}

function showHide(obj, visibility) {
	if(ie5 || ns6){
		menu[obj].style.visibility = visibility;
	}
}

function menuBarInit() {
	if(ie5 || ns6){
   		menu = document.getElementsByTagName("div");
	}
}

onload=menuBarInit;