// Insert today's date
	// gj2.1 xhtml javascript rewrite
	// thursday 29 november 2001
        
    var months = new Array(12);
	months[0] = 'January';
	months[1] = 'February';
	months[2] = 'March';
	months[3] = 'April';
	months[4] = 'May';
	months[5] = 'June';
	months[6] = 'July';
	months[7] = 'August';
	months[8] = 'September';
	months[9] = 'October';
	months[10] = 'November';
	months[11] = 'December';

	var days = new Array(7);
		days[0] = 'Sunday';
		days[1] = 'Monday';
		days[2] = 'Tuesday';
		days[3] = 'Wednesday';
		days[4] = 'Thursday';
		days[5] = 'Friday';
		days[6] = 'Saturday';
          
        now = new Date();
		var dayname = days[now.getDay()];
		var monthname = months[now.getMonth()];
        var dayofmonth =now.getDate();
        var year = now.getYear();
        if (year < 1000) year += 1900;
      
	function todate() {
	document.write('<b>' + dayname + ' ' + dayofmonth + ' ' + monthname + ' ' + year + '</b><br />');
	}