<!--
// highlighting Images 001010(dr)
// Determine browser.
var isMinNS4 = (navigator.appName.indexOf("Netscape") >= 0 &&
                parseFloat(navigator.appVersion) >= 4) ? 1 : 0;
var isMinIE4 = (document.all) ? 1 : 0;
var isMinIE5 = (isMinIE4 && navigator.appVersion.indexOf("5.") >= 0) ? 1 : 0;
var highlightSuffix = "_hl"
var statusSuffix = "_hl"
var gesetztesHighlight = new String()
var statusHighlight = true
var debug = false
// bis hier anpassbar
var haveImages = document.images
var allLoaded = false
var pictureArray = new Array()
var statusArray = new Array()
var highlighted = new String()

var status_lowlight = "lowlight"
var status_highlight = "highlight"
var status_status = "status"


function HighlightedPicture(src, suffix, obj, status){
        if (status)
                this.status = status
        else
                this.status = status_lowlight
        this.Image = obj
        this.Lowlight = new Image()
        this.Lowlight.src = src + "." + suffix
        this.Highlight = new Image()
        this.Highlight.src = src + highlightSuffix + "." + suffix
        this.Status = new Image()
        if (statusHighlight){
                this.Status.src = src + statusSuffix + "." + suffix
        }
}


function initImageHighlight(){
        if (haveImages){
            var s = new String()
        var src = new String()
        var suffix = new String()
        loadAllImages( document )
        if ( gesetztesHighlight != "" )
                        pressed( gesetztesHighlight )
        } 
}


function loadAllImages( doc ){

         preloadingImages( doc )
		
       /* if (isMinNS4){
                for (var i = 0; i < doc.layers.length; i++){
				
                        //if (typeof doc.layers[i].document != "undefined")
                                loadAllImages( doc.layers[i].document );
                }
        }*/
    allLoaded = true

}


function preloadingImages( doc ){
        for (var i=0; i < doc.images.length; i++){
                var s = doc.images[i].name
                if (s.length > 0){
                        var status = status_lowlight
                        var src = doc.images[i].src
                        var suffix = src.substring(src.length - 3, src.length).toLowerCase()
                        if ( src.indexOf( highlightSuffix + "." ) != -1 ){
                                src = src.substring(0, src.length - 4 - highlightSuffix.length )
                                status = status_status
                        } else if ( src.indexOf( statusSuffix + "." ) != -1 ){
                                src = src.substring(0, src.length - 4 - statusSuffix.length )
                                status = status_status
                        } else {
                                src = src.substring(0, src.length - 4)
                        }
                        pictureArray[ s ] = new HighlightedPicture(src, suffix, doc.images[i], status)
                }
        }
}


function changeImage( name, what ){
        if ( !allLoaded ) return
        var src = new String()
        var imgObj = pictureArray[name]

        if ( what == status_highlight ){
                if (pictureArray[ name ].status == status_highlight) return
               src = pictureArray[ name ].Highlight.src
        } else {
                if ( what != status_status ){

                        src = pictureArray[ name ].Lowlight.src
                } else {
                        if (statusHighlight){
                                src = pictureArray[ name ].Status.src
                        }
                }
        }
        pictureArray[ name ].Image.src = src
        pictureArray[ name ].status = what
}

// public Methods
// highlight, lowlight, pressed

function pressed( name ){
        if ( pictureArray[name].status == status_status ) return
           var tmp = highlighted
        if (statusHighlight)
                changeImage( name, status_status )
        else
                changeImage( name, status_highlight )
    highlighted = name
    if ( tmp != "" ){
            changeImage( tmp, status_lowlight )
        }
}

function lowlight( name ){
        if ( !allLoaded ) return
        if ( pictureArray[name].status == status_status ) return
        changeImage( name, status_lowlight )
}

function highlight( name ){
        if ( !allLoaded ) return
        if ( pictureArray[name].status == status_status ) return
        changeImage( name, status_highlight )
}

function lowlight2( name1, name2 ){
        if ( !allLoaded ) return
        if ( pictureArray[name1].status == status_status ) return
        changeImage( name1, status_lowlight )
		if ( pictureArray[name2].status == status_status ) return
        changeImage( name2, status_lowlight )
}

function highlight2( name1, name2 ){
        if ( !allLoaded ) return
        if ( pictureArray[name1].status == status_status ) return
        changeImage( name1, status_highlight )
		if ( pictureArray[name2].status == status_status ) return
        changeImage( name2, status_highlight )
}


// highlighting Images
function init(){
         initImageHighlight();
}
//--