var browserok = false;
if( parseInt( navigator.appVersion ) >= 3 && navigator.appName == "Netscape") { browserok = true; }
if( parseInt( navigator.appVersion ) >= 4 && navigator.appName == "Microsoft Internet Explorer") { browserok = true; }
function ein (nam,bild,besch) {if (browserok) document.images[nam].src = bild;{window.status=besch;}}
function aus (nam,bild) {if (browserok) document.images[nam].src = bild;{window.status='';}}
Image1 = new Image(205,34)
Image1.src = "pix/infoh.gif"
Image2 = new Image(205,34)
Image2.src = "pix/manah.gif"
Image3 = new Image(205,34)
Image3.src = "pix/kaufh.gif"
Image4 = new Image(205,34)
Image4.src = "pix/inth.gif"
Image5 = new Image(205,34)
Image5.src = "pix/aush.gif"
Image6 = new Image(205,34)
Image6.src = "pix/bookh.gif"
Image7 = new Image(205,34)
Image7.src = "pix/konh.gif"
Image8 = new Image(205,34)
Image8.src = "pix/linkh.gif"