
        if (document.images) {
                var viewOff = new Image(67, 16);
                viewOff.src = "images/view3.gif";
                var viewOn = new Image(67, 16);
                viewOn.src = "images/view4.gif";}
