if (document.images) {
   img1 = new Image();
   img1.src = "images/button_menu_a.png";
}