// upd.js

function getSiteLastUpdated() {
	return '11.02.2009'; // w
}

function printSiteLastUpdated(p_extra) {

	document.write (
		'<a href="oppdateringer.htm" target="main">'
	+	getSiteLastUpdated()
	+	'</a>'
	+	(p_extra == null ? '' : p_extra)
	);
}