// date.js

// date readout


var monName = new Array ("January","February","March","April","May","June","July",
"August","September","October","November","December");
                         
var now = new Date;
var month = now.getMonth();

var year;
year = now.getFullYear();

var mseconds = now.getTime();
var days = mseconds / (1000.0*60.0*60.0*24.0);
var julian_days = days + 2440587.5;

var utc_day = now.getUTCDay();
var utc_date = now.getUTCDate();
var utc_month = now.getUTCMonth();
var utc_year = now.getUTCFullYear();

var utc_hours = now.getUTCHours();
var utc_minutes = now.getUTCMinutes();
var utc_seconds = now.getUTCSeconds();

julian_days = julian_days * 10000; 
julian_days = Math.round(julian_days);
julian_days = julian_days/10000;
 
var date_string = now.getDate() + " " + monName[month] + " " + year;

var utc_string = "UTC " + monName[utc_month] + " " + utc_date + ", " +  utc_year + " / " + utc_hours + "h " + utc_minutes +"m ";


document.write(utc_string);