function random_image()
{   var i = Math.round(Math.random()*1);

    // In Abhängigkeit von i ein anderes Bild laden
    if ( i == 0 )
    {   document.images["id1"].src = "./FL2012_files/Big/000-2012.jpg";
    }
    else
    if ( i == 1 )
    {   document.images["id1"].src = "./PV2012_files/Big/00-2012.jpg";
    }
}