function CacheImages(){  if (!document.images) return;// Substitute your own image names and paths in the img_names// array below.  NO COMMA after the last name!  var img_names = new Array(    "images/design/btn_home_over.jpg",    "images/design/btn_home_down.jpg",    "images/design/btn_einrichtung_over.jpg",    "images/design/btn_einrichtung_down.jpg",    "images/design/btn_team_over.jpg",    "images/design/btn_team_down.jpg",    "images/design/btn_bilder_over.jpg",    "images/design/btn_bilder_down.jpg",    "images/design/btn_anmeldung_over.jpg",	    "images/design/btn_anmeldung_down.jpg"  );  var imgs = new Array();  for (var i = 0; i < img_names.length; i++)  {    imgs[i] = new Image();    imgs[i].src = img_names[i];  }}
