function lastmodified() {
	lastupdate = new Date(document.lastModified);
	document.write(lastupdate.getDate() + "." + (lastupdate.getMonth() + 1) + "." + (lastupdate.getYear() % 100 + 2000));
}

function navigator(nav) {
	if (parent && parent.frames[0]) {
		parent.frames[0].location.href=nav;
	} 
}

function closenavigator() {
	parent.location.href=parent.frames[1].location.href;
}