function mouseOver(i, c) {
    var el = document.getElementById(i);
    if (el) {
        el.className = c;
    } else {
        dom_alert();
    }
}

function doc_init(i) {
    var el = document.getElementById(i);
    var m1 = "kanai";
    var atm = "@";
    var m2 = "valley.ne.jp";
    if (el) {
        el.href="mailto:" + m1 + atm + m2;
    } else {
        dom_alert(i);
    }
}

function dom_alert(id) {
    alert("あなたのブラウザーは DOM未対応です。\n" +
             "詳しくは http://www.w3c.org/DOM/ を見てください。 id = "  + id);
}

function doc_init_() {
}