var months = new Array("January","February","March","April","May","June","July","August","September","October","November","December");

function getDateline(timestamp)
	{
	var dateObject = new Date(Number(timestamp));	
	var dateline = months[dateObject.getMonth()] + " " + dateObject.getDate() + ", " + dateObject.getFullYear() + " " + padded(dateObject.getHours(), 2) + ":" + padded(dateObject.getMinutes(), 2);
	return dateline;
	}

function padded(num, pad)
   {
	var original = num + ''; //converts to string
	var zeros = pad - original.length;
	var appendage = '';
	for (j = 0; j < zeros; j++)
	   {
		appendage += '0';
		}
	var padded = appendage + original;
	return padded;
	}