/* Ivdlogo animieren */

Ivdlogo_an=new Image();
Ivdlogo_an.src="Ivd.gif";

Ivdlogo_aus=new Image();
Ivdlogo_aus.src="Ivd.jpg";

function Ivdlogo_start()
{
window.document.ivdlogo.src=Ivdlogo_an.src;
}

function Ivdlogo_stop()
{
window.document.ivdlogo.src=Ivdlogo_aus.src;
}