// This was added to fix the BST problem 
// Mark Boyle, 30th March 2004

// return ms of Spring/Autumn EU clock change
function EUch(Y, M) 
{ 
	// last of month is 31st, get GMT
	var J = Date.UTC(Y, M-1, 31) 

	/* Sun, 0100 GMT, ms */
	return J - 864e5*((4+J/864e5)%7) + 36e5 
}

function bst()
{
	var d = new Date();
	var yr = d.getUTCFullYear();
	var EUSTon = EUch(yr, 03);
	var EUSTof = EUch(yr, 10);
	var ms = d.getTime();
	if ((ms>=EUSTon) && (EUSTof>ms)) ms += 3600000 // +1h
	return new Date(ms);
}

function PrintDate()
{
	// Grab the local system time in a way that can handle the BST Time Change
	d = bst();

	var weekday=new Array("Sunday","Monday","Tuesday","Wednesday","Thursday","Friday","Saturday")
	var monthname=new Array("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec")
	document.write(weekday[d.getDay()] + " ")
	document.write(d.getDate() + " ")
	document.write(monthname[d.getMonth()] + ". ")			
	document.write(d.getFullYear())						
	document.write("    ")
	document.write(d.getUTCHours())
	document.write(":")

	var temp = d.getUTCMinutes()

	if (temp < 10)
	{
		temp = '0'+temp;
	}

	document.write(temp)

	document.write("h")
}