var off = new Array;
var on = new Array;
var PthStr = 'images/';
var onSuff = '_over.gif';
var offSuff = '.gif';

function MakeArrays(NameStr){
        var NameArr = NameStr.split(',');

        for (i=0; i < NameArr.length; i++){
                off[i] = new Image();
                off[i].src = PthStr + NameArr[i] + offSuff;
                }

        for (i=0; i < NameArr.length; i++){
                on[i] = new Image();
                on[i].src = PthStr + NameArr[i] + onSuff;
                }
        }

function swon(idx,num){        // Toggle HiLite
        window.document.images[idx].src = on[num].src
        }

function swoff(idx,num){        // Toggle HiLite
        window.document.images[idx].src = off[num].src;
        }

function LastUpd(){
        var Months = "Jan.;Feb.;Mar.;Apr.;Mai;Jun.;Jul.;Aug.;Sep.;Okt.;Nov.;Dez."
        var MonArr = Months.split(';');

        var lastmod = new Date(document.lastModified);

        if (lastmod.getTime() == 0){
                document.write("n/a");
                }
        else {
                var Yr = lastmod.getYear();
                Yr = ((Yr < 1000)?((Yr < 70)?2000:1900):0)+Yr;
                var Dy = lastmod.getDate();
                var Mon = lastmod.getMonth();

                document.write(Dy + ".&nbsp;" + MonArr[Mon] + "&nbsp;" + Yr);
                };
        };

// This one for debugging purposes only
function FindImages(){        // determine the indices of all images
                                                // in document.images array
        for (i = 0; i < document.images.length; i++){
                document.writeln('image #'+i+': '+document.images[i].src+'<br>');
                }
        }