function mark_line(id, obj) {
    if (selectedId != null) document.getElementById(selectedId).className = oldClassName;
    var tr = obj.parentNode.parentNode;
    tr.id = id + "tr";
    selectedId = tr.id;
    oldClassName = tr.className;
    tr.className = "selected";
    selectActions();
}

function mark_line_2(id, type, obj) {
    typeId = type;
    mark_line(id, obj);
}

