// JavaScript Document
function link(menu, x)
{
	if (x == 0)
	{
		document.getElementById(menu).className = "menuOut";
	}
	else if (x == 2)
	{
		document.getElementById(menu).className = "menuHot";
	}
	else
	{
		document.getElementById(menu).className = "menuOver";
	}
	//alert("test");
}

function mail(id, domain, name, domain2)
{
	document.getElementById(id).href = "mailto:" + name + "@" + domain + "." + domain2;
}