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

function updated()
{
	var maanedArray =
	["January","February","Marts","April","May","June","July","August","September","October","November","December"];
	
	var	day = new Date(Date.parse(document.lastModified));
	
	return "Last updated "+day.getDate()+". "+maanedArray[day.getMonth()]+" "+day.getFullYear();
}