//spam protection

function insertMail()
{
    my_prefix = "mailto:";
    my_at = "@";
    my_name = "annaose";
    my_domain = "umich.edu";
    document.write('&nbsp<a href="' + my_prefix + my_name + my_at + my_domain + '">');
    document.write(my_name + my_at + my_domain);
    document.write('</a>');
}