function display_date() {

var months = new Array("Jan", "Feb", "Mar", "Apr", "May", "Jun", "Jul", "Aug", "Sep", "Oct", "Nov", "Dec");
	var now = new Date();
        var yy = now.getFullYear();
        var mm = now.getMonth();
        mm = months[mm];
	var dd = now.getDate();
	document.write(dd +"  "+ mm +"  "+ yy); }


