function bannereinblenden()
{
   if (document.getElementById)
    document.getElementById("banner").style.visibility = "visible";
}

function bannerausblenden()
{
 	if (document.getElementById)
    document.getElementById("banner").style.visibility = "hidden";
}