// JavaScript Document
function maillink(mailprefix, maildomain, mailsuffix, mailname)
{ var mailprefix;
var maildomain;
var mailsuffix;
var mailname;
if (mailname==null) {mailname="e-mail";}
document.write('<a href="mailto:'+mailprefix+'%40'+maildomain+'.'+mailsuffix+'">'+mailname+'</a>');
}

function toggle_show(id) {
    document.getElementById(id).style.display = document.getElementById(id).style.display == 'none' ? 'block' : 'none';
}