/* Schreibt bei neueren Browsern zusätzliche Bilder zwecks Austausch rein: */

if(document.getElementById && document.createElement)
 {
  if ((hoehe>770) && (breite>1032))
    {
     document.getElementById("startbild1").src="zufallsbild.php?gross=1";
     document.images["startbild1"].height=690;
     document.images["startbild1"].width=1030;
     document.write('<script type="text/javascript" src="startbildergross.js"></script>');
    }
  else
    {
     document.getElementById("startbild1").src="zufallsbild.php";
     document.write('<script type="text/javascript" src="startbildermittel.js"></script>');
    }

 }