function header()
{
var head=
'<table border="1" frame="hsides" cellpadding="0" cellspacing="0" width="100%">'+
 '<tr align="center">'+
     '<td width="5%" height="40">'+
     '<img src="puflogo.jpg"></td>'+
     '<td><b>'+document.title+'</b></td>'+
     '<td width="5%" height="40">'+
     '<img src="sulelogo.jpg"></td>'+
 '</tr>'+
'</table>';
document.write(head);
}

function updated()
{
	maanedArray = new Array();
	maanedArray[0] = "january";
	maanedArray[1] = "february";
	maanedArray[2] = "marts";
	maanedArray[3] = "april";
	maanedArray[4] = "may";
	maanedArray[5] = "june";
	maanedArray[6] = "july";
	maanedArray[7] = "august";
	maanedArray[8] = "september";
	maanedArray[9] = "october";
	maanedArray[10] = "november";
	maanedArray[11] = "december";

	day = new Date(Date.parse(document.lastModified));

	return "Last updated "+day.getDate()+". "+maanedArray[day.getMonth()]+" "+day.getFullYear();
}