function DisplayMenu() {document.getElementById("RainbowHeaderBox").style.visibility = "visible";}
function jsFunc(h) {document.getElementById("RainbowHeaderBox").style.height = h+15+"px";}