<!--
if (document.images) {
    img1 = new Image();
    img1.src = "/resources/images/menu_hover.gif";
}
// -->