function ChangeClassHC() {

    document.getElementById("hc-side").className = "menu menu-side-small-hc-red";
   
}

function ChangeClassIS() {

    document.getElementById("is-side").className = "menu menu-side-small-is-pink";

}


function ChangeClassToBlue(ext) {
   
    document.getElementById(ext + "-side").className = "menu menu-side-small-"+ext;   

}