if((document.images)&&(browser))
  {
	  
   navmap_label_off = new Image(120,90);
   navmap_label_off.src = "images/washingtonpark_label.gif"; // SPECIFIC TO THIS DOCUMENT

   detail_off = new Image(280,280);
   detail_off.src = "images/washingtonpark_detail.gif"; // SPECIFIC TO THIS DOCUMENT
   
   detail_label_off = new Image(280,90);
   detail_label_off.src = "images/default_neighborhood_detail_label.gif"; // SPECIFIC TO THIS DOCUMENT

  }