<!--
	function display_date () {

		var day, month, year;

		var today = new Date;
	    var yesterday = new Date(today.getTime() - 86400000);

		yd = yesterday.getDate();
		ym = yesterday.getMonth() + 1;
		yy = yesterday.getYear();
		if(yy < 1900)
			yy += 1900; // if date from Netscape, then add 1900

		td = today.getDate();
		tm = today.getMonth() + 1;
		ty = today.getYear();
		if(ty < 1900)
			ty += 1900; // if date from Netscape, then add 1900

		var hebDate = civ2heb(td, tm, ty);
		var hmS = hebDate.substring(hebDate.indexOf(' ')+1, hebDate.length);
		var	hDay = eval(hebDate.substring(0, hebDate.indexOf(' ')));
		var hMonth = eval(hmS.substring(0, hmS.indexOf(' ')));
		var hYear = hmS.substring(hmS.indexOf(' ')+1, hmS.length);

		document.write('<class=dark vAlign=top align=middle font face=verdana color=white>');
		document.write(hDay + ' ' + hebMonth[hMonth+1] + ' ' + hYear);
		document.write('&nbsp;&nbsp;');
		document.write('<class=dark vAlign=top align=middle font face=verdana color=white>');
		//document.write(civMonth[ym] + ' ' + yd + ', ' + yy + ' ');
		document.write(civMonth[tm] + ' ' + td + ', ' + ty);
		document.write('</font>');
	}
  //-->