function startbanner() {
   var x = document.getElementById("xmas");
   setTimeout('document.getElementById("xmas").style.visibility = "visible";',500);
   setTimeout('document.getElementById("xmas").style.visibility = "hidden";',12000);
}

function endebanner() {
   var x = document.getElementById("xmas");
   x.style.visibility = "hidden";
}