// JavaScript Document
var	month = new Array("January","February","March","April","May","June","July",
					  "August","September","October","November","December");
function ModifiedDate() {
	updated = new Date(document.lastModified);
	Month   = month[updated.getMonth()];
	Day     = updated.getDate();
	Year    = updated.getYear();
	Hour    = updated.getHours();
	Min     = updated.getMinutes();
    if( Year < 2000 ) Year += 1900;
    if( Year < 2000 ) Year += 100;  //Netscape 3 and IE 4.7 return 0 instead of 100 for 2000
	if( Hour < 10 )  Hour = "0" + Hour;
	if( Min  < 10 )  Min  = "0" + Min;
	document.write("Last modified " + Month + " " + Day +  ", " + Year + " at " + Hour + ":" + Min);
}
function create_date_fields() {
    var today = new Date();
    document.write("<b>Year:</b> <input type=\"text\" name=\"xxy\" size=\"4\" maxlength=\"4\"");
    var year = today.getYear();
    if( year < 2000 ) year += 1900;
    if( year < 2000 ) year += 100;  //Netscape 3 and IE 4.7 return 0 instead of 100 for 2000
    document.write("value=\"" + year + "\">");
    document.write("&nbsp;&nbsp;<b>Month:</b> <select name=\"xxm\">");
    for( var k=0; k < 12; ++k ) {
        if( k == today.getMonth() )
            document.write("<option selected value=\"" + (k+1) + "\">" + month[k] + "</option>");
        else
            document.write("<option value=\"" + (k+1) + "\">" + month[k] + "</option>");
    }
    document.write("</select>");
    document.write("&nbsp;&nbsp;<b>Day:</b>");
    document.write("<input type=\"text\" name=\"xxd\" size=\"2\" maxlength=\"2\"");
    document.write(" value=\"" + today.getDate() + "\">");
}