//Date time
function makeArray() {
	for (i = 0; i<makeArray.arguments.length; i++)
		this[i] = makeArray.arguments[i];
}

function getFullYear(d) {
	var y = d.getYear();
	if (y < 1000) {y += 1900};
	return y;
}

//var zone = "EDT";
var days = new makeArray("Chủ Nhật","Thứ Hai","Thứ Ba","Thứ Tư","Thứ Năm","Thứ Sáu","Thứ Bảy");
var months = new makeArray("01", "02", "03", "04", "05", "06", "07", "08", "09", "10", "11", "12");

function format_time(t) {

	var Day = t.getDay();
	var date = t.getDate();
	var Month = t.getMonth();
	var Year = t.getFullYear();
	
	timeString = "";
	timeString += days[Day];
	timeString += ", ngày ";
	timeString += " ";
	timeString += date;
	timeString += " tháng ";
	timeString += months[Month];
	timeString += ", ";
	timeString += Year;

	return timeString;
}