var timer function scrolltop() { scrollmenu.style.pixelTop=document.body.scrollTop timer=setTimeout("scrolltop()",1) } function stoptimer() { clearTimeout(timer) } function checkframeset() { if (top==self||!top.frames['HauptframeRFV']) { top.location.href=self.location.href.substr(0,top.location.href.indexOf(".de")+3)+"/index.htm?"+self.location.href; } } // Resize picture to frame size // function showpic() // src Picture // w, h Original size of picture (Default size of frame) // alt Alternate text (Default "Picture") // iw, ih Size of frame // pw, ph Size in percent (default 100%) // bw, bh Size of border (default 24) // sw, sh Displayed size of picture function showpic(src, w, h, alt, text, pw, ph, bw, bh) { if (src == null) return; var iw, ih; // Set inner width and height if (window.innerWidth == null) { iw = document.body.clientWidth; ih=document.body.clientHeight; } else { iw = window.innerWidth; ih = window.innerHeight; } if (w == null) w = iw; if (h == null) h = ih; if (alt == null) alt = src; if (text == null) text = src; if (pw == null) pw = 100; if (ph == null) ph = 100; if (bw == null) bw = 30; if (bh == null) bh = 30; var sw = Math.round((iw - bw) * pw / 100); var sh = Math.round((ih - bh) * ph / 100); if ((w * sh) / (h * sw) < 1) sw = Math.round(w * sh / h); else sh = Math.round(h * sw / w); if (sw > w || sh > h ) { sw = w; sh = h; } document.write(''); document.write('

'); document.write(''); if ((sw/sh) < (iw/ih)) { // Horizontal document.write(''); document.write('

'); document.write(''); document.write(' ' + alt + '

'); document.write(''); document.write('

'); document.write(text); document.write('

Bildgröße: ' + w + 'x' + h + ' Pixel'); document.write('
Zurück'); } else { // Vertikal document.write('

'); document.write(''); document.write(' ' + alt + '

'); document.write(''); document.write('

'); document.write(''); document.write('

'); document.write(text); document.write('

'); document.write('Bildgröße: ' + w + 'x' + h + ' Pixel'); document.write('
Zurück'); document.write('

'); } document.write('

'); document.write('

'); document.write(''); }