function MailLink(user,subdomain,topleveldomain,name){
	if (name == undefined )
		name = user + "@" + subdomain + "." + topleveldomain;

	document.write("<a href='mailto:"
		+ user + "@" + subdomain + "." + topleveldomain + "'>"
		+ name + "</a>");
}
function MakeEmLink(user,topleveldomain,subdomain,name){
	if (name == undefined )
		name = user + "@" + subdomain + "." + topleveldomain;

	document.write("<a href='mai" + "lto:"
		+ user + "@" + subdomain + "." + topleveldomain + "'>"
		+ name + "</a>");
}
function MakeLabelledEmLink(user,topleveldomain,subdomain,name){
	if (name == undefined )
		name = user + "@" + subdomain + "." + topleveldomain;

	document.write("Email: <a href='mai" + "lto:"
		+ user + "@" + subdomain + "." + topleveldomain + "'>"
		+ name + "</a>");
}
function WriteMenuItem(Label,Link) {
	FlagStart = "";
	FlagStop = "";
	if (Link == ThisPage) {
		FlagStart = "";
		FlagStop = "&nbsp;&gt;&gt;";
	}
	document.write("<p><a href='/" + Link + ".html' > "
	+ FlagStart + Label + FlagStop + "</a></p>");
}

function WriteExternalMenuItem(Label,Link) {
	FlagStart = "";
	FlagStop = "";
	if (Link == ThisPage) {
		FlagStart = "";
		FlagStop = "&nbsp;&gt;&gt;";
	}
	document.write("<p><a href='/" + Link + "' target='_blank' > "
	+ FlagStart + Label + FlagStop + "</a></p>");
}

// Make IE 5 recognize getElementById
if(document.all && !document.getElementById) {
    document.getElementById = function(id) {
	return document.all[id];
    }
}