function GetTitelbild()
{
var zufall1, zufall2, zufall3;

    zufall1=Math.random();
    zufall2=zufall1*5;
    zufall3=Math.ceil(zufall2);

    dateiname = "./pic/zufall/" + zufall3 + ".png";

    if (document.images)
      document.images["titelbild"].src = dateiname

}

function BilderVorladen()
{
    document.Vorladen = new Array();
 
    if(document.images)
    {
        for(var i = 0; i < BilderVorladen.arguments.length; i++)
        {
            document.Vorladen[i] = new Image();
            document.Vorladen[i].src = BilderVorladen.arguments[i];
        }
    }
}