// wieviel Bilder (0-indiziert)
 var minPic = 0;
 var maxPic = 5; // also insgesamt 5 + 1 = 6 Bilder
 
 // die 3 Bildgrößen
 var stdSizex = 60;
 var stdSizey = 45.333; // Standardgröße
 var midSizex = 70;
 var midSizey = 52.889 // Zwischengröße
 var bigSizex = 90;
 var bigSizey = 68; // Maximalgröße
 
 /* Bilder vergrößern */
 function incSize(picId) {
  // string nach integer konvertieren
  x = parseInt(picId);
 
  /* 3 Bilder durchlaufen */
  for (y = minPic; y <= maxPic; y++) {
   /* bei welchem Bild sind wir gerade? link, überfahrenes oder rechts */
   if (y == x) {
    xSize = bigSizex;
    ySize = bigSizey;
   } else if (y == x -1 || y == x + 1) {
    xSize = midSizex;
    ySize = midSizey;
   } else {
    xSize = stdSizex;
    ySize = stdSizey;
   }
   /* Objektreferenz holen und gewünschte Parameter ändern */
   picObj = document.getElementById(y.toString());
   picObj.style.width  = xSize;
   picObj.style.height = ySize;
  }
 }
 
 /* alle Bilder wieder auf stdSize verkleinern - irgendwo an sinnvoller Stelle aufrufen */
 function decSize() {
  // alle Bilder durchlaufen
  for (y = minPic; y <= maxPic; y++) {
   // Objektreferenz holen und gewünschte Parameter ändern
   picObj = document.getElementById(y.toString());
   picObj.style.width  = stdSizex;
   picObj.style.height = stdSizey;
  }
 }