var menu_txt = "<div ID='DMN' >"+
	"<SPAN align=left ID='david_menu'>  </span>"+
	"</div>";
	
function WRT(){
	document.write(menu_txt);

}