/*<![CDATA[*/
<!--
b = new Array();
b[0] = "img/navi.jpg";
b[1] = "img/pics_verlauf.gif";
b[2] = "img/foot_verlauf.gif";
b[3] = "img/punkt.gif";       
imgs = new Array();
for (var j =0 ; j < b.length; j++) {
  imgs[j] = new Image();
  imgs[j].src = b[j];
}
// -->
/*]]>*/