if (document.images) //preloading
{
picsrc = new Array('news', 'products', 'support', 'contact', 'sales_info', 'company', 'home', 'print','restricted' ) ; //achtung diese namen auch im HTML verwenden!(name=)
pic = new Array(10) ;
pic_a = new Array(10) ;

for (i=0; i<10; 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" ;
}

for (i=0; i<10; i++) {     //durchlaeufe fuer preload (product-images)
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 ;

}

}