// Tämä JavaScript kertoo koska sivu on päivitetty ja myös sen onko sinne tullut
// muutoksia sen jälkeen kun kävijä on siellä viimeksi käynyt

function getCookieVal (offset) {
	var endstr = document.cookie.indexOf (";", offset);
	if (endstr == -1)
		endstr = document.cookie.length;
	return unescape(document.cookie.substring(offset, endstr));
}

function GetCookie (name) {
	var arg = name + "=";
	var alen = arg.length;
	var clen = document.cookie.length;
	var i = 0;
	while (i < clen) {
		var j = i + alen;
		if (document.cookie.substring(i, j) == arg)
			return getCookieVal (j);
		i = document.cookie.indexOf(" ", i) + 1;
		if (i == 0) break; 
	}
return null;
}

function SetCookie (name, value) {
	var argv = SetCookie.arguments;
	var argc = SetCookie.arguments.length;
	var expires = (argc > 2) ? argv[2] : null;
	var path = (argc > 3) ? argv[3] : null;
	var domain = (argc > 4) ? argv[4] : null;
	var secure = (argc > 5) ? argv[5] : false;
	document.cookie = name + "=" + escape (value) +
		((expires == null) ? "" : ("; expires=" + expires.toGMTString())) +
		((path == null) ? "" : ("; path=" + path)) +
		((domain == null) ? "" : ("; domain=" + domain)) +
		((secure == true) ? "; secure" : "");
}

function DeleteCookie(name) {
	var exp = new Date();
	FixCookieDate (exp);
	exp.setTime (exp.getTime() - 1);
	var cval = GetCookie (name);
	if (cval != null)
	document.cookie = name + "=" + cval + "; expires=" + exp.toGMTString();
}

var cookie_date=new Date(document.lastModified);
var updtaika = cookie_date.toLocaleString()
var expdate = new Date();
expdate.setTime(expdate.getTime()+(180*24*60*60*1000));


if (!(cookie_date == GetCookie("upd_"+document.location.pathname))){
	SetCookie("upd_"+document.location.pathname,cookie_date,expdate);
	document.writeln("<P style=\"color:red;margin-bottom:0;font-size:12pt;text-align:center;\" title=\"Jos näet tämän tekstin, niin se tarkoittaa sitä, että sivu on päivitetty sen jälkeen kun viimeksi kävit täällä\">Sivua on päivitetty: " + updtaika + "</P><HR>");
	//document.write("<IMG SRC=\"kuvat/bignew.gif\" BORDER=\"0\" alt=\"UUSI\"> <IMG SRC=\"kuvat/bignew.gif\" BORDER=\"0\" alt=\"UUSI\"> <IMG SRC=\"kuvat/bignew.gif\" BORDER=\"0\" alt=\"UUSI\"><BR>");
}

