var fontsize=11;

function textSize(dec) {
fontsize+=(dec==1)?1:(-1);
if (fontsize<9) fontsize=9;
if (fontsize>21) fontsize=21;


document.getElementsByTagName("body")[0].style.fontSize=""+fontsize+"px";

}

function switchs(x,state) {

        document.getElementById(x).style.visibility=state;
   
}

function switchCol(x,col) {

        document.getElementById(x).style.background= col;
   
}

function openNewPopups(url,sizes) {

        var popup = window.open(url,'popup',sizes);
        popup.focus();
   
}