// Email.js from MBD
var m_ = "mailto:";
var a_ = "@";
var u_ = "uk";
var o_ = "org."

function menu(name, display)
{
	text('<dl style="margin-top:-8px;"><dd>');
	mail(name, display);
	text('<\/dd><\/dl>');
}

function mail(name, display)
{
	opentag(name);
	text(display);
	closetag();
}

function opentag(name)
{
	document.write('<a href="'+m_+name+a_+'benjw.'+o_+u_+'">')
}

function text(display)
{
	document.write(display);
}

function closetag()
{
	document.write('</a>');
}