// JavaScript Document
//MOuse over IMG-Changer
function flip(img){
 //onMouseOver="flip(eval(this))" onMouseOut="flip(eval(this))"
 if(img.tagName == "IMG"){
  //aufruf im IMG
  var src_str=img.src;
 } else {
  //aufruf im A
  var src_str=img.childNodes[0].src;
  img = img.childNodes[0];
 }

//Sucht, ob in src des files der String "_over.jpg" vorkommt...
	if(src_str.match(/\.jpg$/)){ //sucht nach jpg
		if (src_str.match(/_over\.jpg$/)){
			var ausdruck = /^(.*)_over\.jpg$/;
			ausdruck.exec(src_str);
			//...und ersetzt ihn wenn ja durch ".jpg"
			img.src = RegExp.$1 + ".jpg";
		} else {
			//wenn nicht wird ".jpg"...
			var ausdruck = /^(.*)\.jpg$/;
			ausdruck.exec(src_str);
			//...durch "_over.jpg" ersetzt
			img.src = RegExp.$1 + "_over.jpg";
		}
	} else { //sucht alternativ nach png
		if (src_str.match(/_over\.png$/)){
			var ausdruck = /^(.*)_over\.png$/;
			ausdruck.exec(src_str);
			//...und ersetzt ihn wenn ja durch ".png"
			img.src = RegExp.$1 + ".png";
		} else {
			//wenn nicht wird ".png"...
			var ausdruck = /^(.*)\.png$/;
			ausdruck.exec(src_str);
			//...durch "_over.png" ersetzt
			img.src = RegExp.$1 + "_over.png";
			
		}
	}
}

function introDone() {
	var bo = document.getElementsByTagName("body")[0];
	bo.className = bo.className.replace(/ waitForIntro/, '');
}