function on_enter_submit(event, button) {
    var keycode;
    if (window.event) {
        keycode = window.event.keyCode;
    } else if (event) {
        keycode = event.which;
    } else {
        return true;
    }
    if (keycode == 0x0D) {
        window.document.getElementById("list").elements[button].click();
        return false;
    } else {
        return true;
    }
}

function toggle_comment() {
    window.document.getElementById("comment").style.display =
            (window.document.getElementById("comment").style.display != "block")
                ? "block"
                : "none";
}