logo=0;
 function logo_rotate() {
  if ((++logo)>1) logo=0;
   switch (logo) {
case 0:
  document.logo.src = 'grafiken/logo.gif';
  break;
case 1:
  document.logo.src = 'grafiken/logoschrift.gif';
  break;

		default:
        break;
   }
  window.setTimeout('logo_rotate();',6000);
 }