<!-- //
function winBRopen( url, name, width, height, scroller ) {
var outStr = 'height=' + height + ',width=' + width;
if (scroller != 'true') {
outStr = outStr + ',menubar=no,toolbar=no,location=no,directories=no,status=no,scrollbars=no,resizable=no';
}
else {
outStr = outStr + ',menubar=no,toolbar=no,location=no,directories=no,status=no,scrollbars,resizable=no';
}
window.open(url, name, outStr);
}
// -->

<!--// preload nav bar images:
        if (document.images) {
                butt1_on = new Image(42,7);
                butt1_on.src = "/images/nav/korven.gif";
                butt1_off = new Image(42,7);
                butt1_off.src = "/images/nav/korven_off.gif";
                butt2_on = new Image(56,7);
                butt2_on.src = "/images/nav/portfolio.gif";
                butt2_off = new Image(56,7);
                butt2_off.src = "/images/nav/portfolio_off.gif";
                butt3_on = new Image(50,11);
                butt3_on.src = "/images/nav/eng.gif";
                butt3_off = new Image(50,11);
                butt3_off.src = "/images/nav/eng_off.gif";
				butt4_on = new Image(57,7);
                butt4_on.src = "/images/nav/wolfgang.gif";
                butt4_off = new Image(57,7);
                butt4_off.src = "/images/nav/wolfgang_off.gif";


}
                        
        function hiLite(imgDocID,imgObjName) {
                // manages mouseOver animations
                //   imgDocID - the name or number of the document image to be replaced
                //   imgObjName - the name of the image object to be swapped in
                
                if (document.images) {
                        document.images[imgDocID].src = eval(imgObjName + ".src") ;return true
}}
// -->