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/buttons/interessierte_over.jpg",    "images/buttons/interessierte_down.jpg",    "images/buttons/teilnehmer_over.jpg",    "images/buttons/teilnehmer_down.jpg",    "images/buttons/coaches_over.jpg",    "images/buttons/coaches_down.jpg",    "images/buttons/studios_over.jpg",    "images/buttons/studios_down.jpg",    "images/buttons/kontakt_over.jpg",    "images/buttons/kontakt_down.jpg",	"images/shop_over.jpg",  );  var imgs = new Array();  for (var i = 0; i < img_names.length; i++)  {    imgs[i] = new Image();    imgs[i].src = img_names[i];  }}
