// Date Formats
var months = new Array("","Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec");
var daysInMonth = new Array(null,31,28,31,30,31,30,31,31,30,31,30,31);
function shortDateToString(dt){
	var dateElement = dt.split('-');
	var i = Number(dateElement[1]);
	return months[i] + " " + dateElement[0];
}
function datetimeToString(dt) {
	//
	var dtArray = dt.split(' ');
	var dateElement = dtArray[0];
	var timeElement = dtArray[1];
	
	//
	var dateElement = dateElement.split('-');
	timeElement = timeElement.split(':');
	//
	var specifiedDate = new Date(dateElement[0],(dateElement[1]-1),dateElement[2],timeElement[0],timeElement[1],timeElement[2],0);
	var weekday=new Array(7)
	weekday[0]="Sunday"
	weekday[1]="Monday"
	weekday[2]="Tuesday"
	weekday[3]="Wednesday"
	weekday[4]="Thursday"
	weekday[5]="Friday"
	weekday[6]="Saturday"
	//
	var getstr = weekday[specifiedDate.getDay()] + ", ";
	getstr += Number(dateElement[2]) + " " + months[Number(dateElement[1])] + " " + dateElement[0];
	getstr += ", " + timeElement[0]+":"+timeElement[1]+"h";
	//
	return getstr;
}