var b = new Array();
b[0] = new Image(); b[0].src = "/images/b_wir_ueber_uns_hov.gif";
b[1] = new Image(); b[1].src = "/images/b_kontakt_hov.gif";
b[2] = new Image(); b[2].src = "/images/b_benutzung_hov.gif";
b[3] = new Image(); b[3].src = "/images/b_geschichte_hov.gif";
b[4] = new Image(); b[4].src = "/images/b_publikationen_hov.gif";
b[5] = new Image(); b[5].src = "/images/b_archive_hov.gif";