var IsNav=((parseInt(navigator.appVersion)>=4) && (navigator.appName=="Netscape"))
function g(s) {return document.getElementById(s)}

function setIframeTop() {
var lnv = document.getElementById("IframeLeftNav");
if (lnv==null) return;
lnv.style.top=(IsNav ? window.pageYOffset : document.documentElement.scrollTop) + "px"
lnv.style.height=(IsNav ? window.innerHeight : document.documentElement.clientHeight) + "px"
}
onload=setIframeTop
onresize=setIframeTop
onscroll=setIframeTop