function MakeArray(n) {
	this.length = n;
	return this;
}
function InitializeNames(theLang) {
	switch(theLang) {
		case 'en':
			monthNames = new MakeArray(12);
			monthNames[1] = "Jan";
			monthNames[2] = "Feb";
			monthNames[3] = "Mar";
			monthNames[4] = "Apr";
			monthNames[5] = "May";
			monthNames[6] = "Jun";
			monthNames[7] = "Jul";
			monthNames[8] = "Aug";
			monthNames[9] = "Sep";
			monthNames[10] = "Oct";
			monthNames[11] = "Nov";
			monthNames[12] = "Dec";
			dayNames = new MakeArray(7);
			dayNames[1] = "Sun";
			dayNames[2] = "Mon";
			dayNames[3] = "Tue";
			dayNames[4] = "Wed";
			dayNames[5] = "Thu";
			dayNames[6] = "Fri";
			dayNames[7] = "Sat";
      break;
		case 'gr':
			monthNames = new MakeArray(12);
			monthNames[1] = "Ian";
			monthNames[2] = "Feb";
			monthNames[3] = "Mar";
			monthNames[4] = "Apr";
			monthNames[5] = "May";
			monthNames[6] = "Jun";
			monthNames[7] = "Jul";
			monthNames[8] = "Aug";
			monthNames[9] = "Sep";
			monthNames[10] = "Oct";
			monthNames[11] = "Nov";
			monthNames[12] = "Dec";
			dayNames = new MakeArray(7);
			dayNames[1] = "Sun";
			dayNames[2] = "Mon";
			dayNames[3] = "Tue";
			dayNames[4] = "Wed";
			dayNames[5] = "Thu";
			dayNames[6] = "Fri";
			dayNames[7] = "Sat";
      break;
	}
	showDateTime();
}
function showDateTime() {
	if (!document.layers && !document.all)  return;
	var digital = new Date();
	var theDay = dayNames[digital.getDay() + 1];
	var day = digital.getDay() + 1;
	var month = digital.getMonth() + 1;
	var year = digital.getYear() - 2000;
	var hours = digital.getHours();
	var minutes = digital.getMinutes();
	var seconds = digital.getSeconds();
	var amOrPm = "AM";
	if (hours > 11) amOrPm = "PM";
	if (hours > 12) hours = hours - 12;
	if (hours == 0) hours = 12;
	if (hours <= 9) hours = "0" + hours;
	if (minutes <= 9) minutes = "0" + minutes;
	if (seconds <= 9) seconds = "0" + seconds;
	if (day <= 9) day = "0" + day;
	if (month <= 9) month = "0" + month;
	if (year <= 9) year = "0" + year;
	dispDateTime = hours + ":" + minutes + " " + digital.getDate() + "." + month + "." + year + " " + theDay;
	if (document.layers) {
		document.layers.digitalclock.document.write(dispDateTime);
		document.layers.digitalclock.document.close();
	}
	else
	if (document.all)	digitalclock.innerHTML = dispDateTime;
	setTimeout("showDateTime()", 1000);
}
function customDateString() {
	currentDate = new Date();
	var theDay = dayNames[currentDate.getDay() + 1];
	var theMonth = monthNames[currentDate.getMonth() + 1];
	msie4 = ((navigator.appName == "Microsoft Internet Explorer") && (parseInt(navigator.appVersion) >= 4 ));
	if (msie4) {
	    var theYear = currentDate.getYear();
	}
	else {
	     var theYear = currentDate.getYear() +1900;
	}
	return theDay + ",  " + currentDate.getDate() + " " + theMonth + ", " + theYear;
}