function gotoURL(url)
{
  location=url;
}

function displayLocalTime(time) { //Input: unix time in seconds
	var date = new Date(time * 1000);

	return date.toLocaleTimeString();
}

function displayLocalDateTime(time) { //Input: unix time in seconds
	var date = new Date(time * 1000);

	return date.toLocaleString();
}

function displayLocalDate(time) {//Input: unix time in seconds
	var m_names = new Array("January", "February", "March", 
							"April", "May", "June", "July", "August", "September", 
							"October", "November", "December");
	var date = new Date(time * 1000);

	var d_date = date.getDate();
	var d_month = date.getMonth();
	var d_year = date.getFullYear();

	return m_names[d_month] + " " + d_date + ", " + d_year;
}