document.writeln("<SCRIPT type=text/javascript>");
document.writeln("<!--");
document.writeln("function makeArray() {");
document.writeln("var args = makeArray.arguments;");
document.writeln("for (var i = 0; i < args.length; i++) {");
document.writeln(" this[i] = args[i];");
document.writeln("}");
document.writeln("this.length = args.length;");
document.writeln("}");
document.writeln("function fixDate(date) {");
document.writeln("var base = new Date(0);");
document.writeln("var skew = base.getTime();");
document.writeln("if (skew > 0)");
document.writeln("date.setTime(date.getTime() - skew);");
document.writeln("}");
document.writeln("function getString(date) {");
document.writeln("var months = new makeArray(\"January\", \"February\", \"March\",");
document.writeln("\"April\",   \"May\",      \"June\",");
document.writeln("\"July\",    \"August\",   \"September\",");
document.writeln("\"October\", \"November\", \"December\");");
document.writeln("var y = date.getYear();");
document.writeln("if(y<2000) y+=1900;");
document.writeln("return months[date.getMonth()] + \" \" +");
document.writeln("date.getDate() + \", \" + y;");
document.writeln("}");
document.writeln("var cur = new Date();");
document.writeln("fixDate(cur);");
document.writeln("var str = getString(cur);");
document.writeln("document.write(str);");
document.writeln("// -->");
document.writeln("</SCRIPT>");