if (document.images) //preloading
{
picsrc = new Array('aktuelles', 'veranstaltungen', 'themen', 'gurk', 'pfarren_dek', 'service', 'slo', 'kontakt', 'suchen') ; //achtung diese namen auch im HTML verwenden!(name=)
pic = new Array(8) ;
pic_a = new Array(8) ;

for (i=0; i<=8; i++) {     //durchlaeufe fuer preload
pic[i] = new Image() ;
pic[i].src = "../library/images/menu/" + picsrc[i] + ".gif" ;
pic_a[i] = new Image() ;
pic_a[i].src = "../library/images/menu/" + picsrc[i] + "_a.gif" ;
}

}


function swap_on(nr) {    // normales mouseover
if (document.images) {
document.images[(picsrc[nr])].src = pic_a[nr].src ;

}

}

function swap_off(nr) {    // normales mouseout
if (document.images) {
document.images[(picsrc[nr])].src = pic[nr].src ;

}

}