// JavaScript Document

function setMaske(m) {
    document.getElementById(m).style.color = "#808080";
}

function delMaske(m) {
    document.getElementById(m).style.color = "#FFFFFF";
}

function delMaske_tab(m) {
    document.getElementById(m).style.color = "#808080";
}