function sendmail() {

    var to_str = "fritz";
    to_str = to_str + "@";
    to_str = to_str + "cs";
    to_str = to_str + ".toronto.";
    to_str = to_str + "edu";
    window.location.href = "mailto:" + to_str;
}