// JavaScript Document
function toggle(element_name) {
    link_id = element_name + '_link';
    target_id = element_name + '_target';
    if(document.getElementById(target_id).style.display == 'block') {
        hide(link_id, target_id);
    }
    else {
        show(link_id, target_id);
    }
}

// Creates mailto link securely
// text - text to be displayed
// user - email's username part (i.e. webmaster)
// domain - email's domain part (i.e. sfai)
// toplevel - toplevel domain (i.e. com, net, org)
// extra - extra mailto syntax (subject=, body=...)

function writeEmail(text, user, domain, toplevel, extra) 
{

	document.write("<a class=\"pink\" href=\"mailto:");
	document.write(user);
	document.write("@");
	document.write(domain);
	document.write(".");
	document.write(toplevel);
	if (extra.length > 0) 
	{
		document.write(extra);
	}
	document.write("\">");
	if (text.length == 0) 
	{
		document.write (user + "@" + domain + "." + toplevel);
	}	
	else
	{
		document.write(text);
	}
	
	document.write("</a>");									
}