/* -- text expender -- */
function jump(id) {
var d = document.getElementById(id);
for (var i = 1; i<=20; i++) {
if (document.getElementById('smenu'+i)) {document.getElementById('smenu'+i).style.display='none';}
}
if (d) {d.style.display='block';}
}

/* -- email icon -- */
function proceed(by)
{
BY = /^(.+)\*(.+)$/;
var launch = by.replace(BY,"mailto:$1@$2");
window.location = launch;
}

/* -- email link -- */
function maillink(lhs,rhs)
{
document.write("<A HREF=\"mailto");
document.write(":" + lhs + "@");
document.write(rhs + "\" class=link>" + lhs + "@" + rhs + "<\/a>");
}