var highlightSuffix = "_o";
var gesetztesHighlight = new String();
if (self != top) gesetztesHighlight = top.gesetztesHighlight;

var haveImages = document.images;
var allLoaded = false;
var picture = new Array();
var highlighted = new String();

function HighlightedPicture(src, suffix){
  this.Lowlight = new Image();
  this.Highlight = new Image();
  this.Lowlight.src = src + "." + suffix;
  this.Highlight.src = src + highlightSuffix + "." + suffix;
}
function init(){
  if (haveImages){
    var s = new String();
    var src = new String();
    var suffix = new String();
    for (var i=0; i < document.images.length; i++){
      s = document.images[i].name;
      if (s.length > 0){
	 src = document.images[i].src;
	 suffix = src.substring(src.length - 3, src.length).toLowerCase();
	 src = src.substring(0, src.length - 4);
	 picture[ s ] = new HighlightedPicture(src, suffix );
      }
    }
    allLoaded = true;
    if ( gesetztesHighlight != "" ) { pressed( gesetztesHighlight ); }
  }
}

function pressed( name ){
  if (allLoaded){
    var tmp = highlighted;
    highlight( name );
    highlighted = name;
    if ( tmp != "" ) lowlight( tmp );
  }
}

function reset(){
  if (allLoaded){
    var tmp = highlighted;
    highlighted = "";
    lowlight( tmp );
  }
}

function lowlight( name ){
  if (allLoaded && (name != highlighted)){
    if (typeof picture[ name ] == "undefined"){
    } 
    else {
      haveImages[ name ].src = picture[ name ].Lowlight.src;
    }
  }
}

function highlight( name ){
  if (allLoaded && (name != highlighted)){
    if (typeof picture[ name ] == "undefined"){
    } 
    else {
      haveImages[ name ].src = picture[ name ].Highlight.src;
    }
  }
}