if (document.images) {
  var menu_home_off = new Image;
  var menu_home_on  = new Image;
  menu_home_off.src = 'img/menu_home_off.gif';
  menu_home_on.src = 'img/menu_home_on.gif';
}