function printTime(globalTime, full)
{
var d=new Date(globalTime);
var Months=new Array("Jan", "Feb", "Mar", "Apr", "May", "Jun", "Jul", "Aug", "Sep", "Oct", "Nov", "Dec");

var timeString=d.getDate()+"-"+Months[d.getMonth()]+"-"+String(1900+d.getYear()).substring(2,4);
if (full)
	{
	Mins=d.getMinutes();
	if (Mins<10)
		Mins="0"+Mins;
	timeString+=" "+d.getHours()+":"+Mins;
	}
document.write(timeString);
}