// onMouseOver Bildwechsel
function chImg(imgName,imgSrc)
{
   if (document.images)
	   document.images[imgName].src = imgSrc;
}


// clears PBCookie for Logout!
function clearPBCookie() {
    var now = new Date();
    var exp = new Date(now.getTime() - (1000*60*60*24*365));
    var name = document.cookie;
    document.cookie = name + "; expires=" + exp.toGMTString() + "; path=/";
}