/* Image preloading */

function newImage(arg)
{
  rslt = new Image();
  rslt.src = arg;
  return rslt;
}

if(document.images)
{
	nav01_over = newImage("Bilder/nav01-over.jpg");
	nav02_over = newImage("Bilder/nav02-over.jpg");
	nav0_over = newImage("Bilder/nav0-over.jpg");
	nav03_over = newImage("Bilder/nav03-over.jpg");
	nav04_over = newImage("Bilder/nav04-over.jpg");
}