loadNavImages = function() {
	image1 = new Image();
	image1.src = "images/dot-ortsinfo.gif";
	image2 = new Image();
	image2.src = "images/dot-start.gif";
	image3 = new Image();
	image3.src = "images/dot-service.gif";
	image4 = new Image();
	image4.src = "images/dot-kultur.gif";
	image5 = new Image();
	image5.src = "images/dot-freizeit.gif";
	image6 = new Image();
	image6.src = "images/dot-wirtschaft.gif";
}

if (window.attachEvent) // IE
	window.attachEvent('onload',loadNavImages);
else if (window.addEventListener) // DOM
	window.addEventListener('load',loadNavImages,true);


/* 
* function to display abbr-tags in the ie
*/
function styleAbbr() {
  var oldBodyText, newBodyText, reg
  if (isIE) {
    oldBodyText = document.body.innerHTML;
    reg = /<ABBR([^>]*)>([^<]*)<\/ABBR>/g;
    newBodyText = oldBodyText.replace(reg, '<ABBR $1><SPAN class=\"abbr\" $1>$2</SPAN></ABBR>');
    document.body.innerHTML = newBodyText;
  }
}

window.onload = function(){
  styleAbbr()
};

isIE = (document.all) ? true:false;