<!--
// Rotierendes Top Logo
window.setTimeout('rot();',9000);
var pic = 1;
function rot() {
pic+=1
   if (pic > 6)  pic = 1;
   document.images.logo1.src = "pictures/lo000-" + pic + "1" +".jpg"; 
   window.setTimeout('rot();',6000); 
}
//-->