// JavaScript Document
<!--
      da_image = new Image();
      da_image.src="nav/favicon.ico";
// -->