
                      <!-- Hide this code from non JavaScript browsers
						var real_date;
						var month;
						var wday;
						var year;
						var thetime=new Date();
						var mon = thetime.getMonth();
						var mday = thetime.getDate();
						var wda = thetime.getDay();
						var y = thetime.getYear();
						year=y % 100+2000;
						switch ( mon )
						{
							case 0: month="January"; break;
							case 1: month="February"; break;
							case 2: month="March"; break;
							case 3: month="April"; break;
							case 4: month="May"; break;
							case 5: month="June"; break;
							case 6: month="July"; break;
							case 7: month="August"; break;
							case 8: month="September"; break;
							case 9: month="October"; break;
							case 10: month="November"; break;
							case 11: month="November"; break;
						}
						switch ( wda )
						{
							case 0: wday="Sunday"; break;
							case 1: wday="Monday"; break;
							case 2: wday="Tuesday"; break;
							case 3: wday="Wednesday"; break;
							case 4: wday="Thursday"; break;
							case 5: wday="Friday"; break;
							case 6: wday="Saturday"; break;
						}
                       real_date = wday + ", " + month + " " + mday + ", " + year;