// BILDWECHSEL HMENU
arrow_out = new Image();
arrow_out.src = "images/spacer.gif";     /* erste Standard-Grafik */
arrow_over = new Image();
arrow_over.src = "images/arrow_umenu.gif"; /* erste Highlight-Grafik */

hm_out = new Image();
hm_out.src = "images/spacer.gif";     /* erste Standard-Grafik */
hm_over = new Image();
hm_over.src = "images/hm_over.gif"; /* erste Highlight-Grafik */


function Bildwechsel(Bildnr,Bildobjekt) {
 window.document.images[Bildnr].src = Bildobjekt.src;
};

function pop_fen(datei,name,stats) {
	window.open(datei,name,stats);
}