<!--
var dfs = 85;

function getCookie(key) {
	var temp1 = " " + document.cookie + ";";
	var i = 0;
	var j = 0;
	while (i < temp1.length) {
		j = temp1.indexOf(";", i);
		var temp2 = temp1.substring(i + 1, j);
		var k = temp2.indexOf("=");
		if (temp2.substring(0, k) == key) {
			return( unescape(temp2.substring(k + 1, j - i - 1) ) );
		}
		i = j + 1;
	}
	return("");
}

function setCookie(key, val, expmin) {
	expdate = new Date();
	expdate.setTime(expdate.getTime() + (expmin * 1000) );
	document.cookie = key + "=" + escape(val) + ";expires=" + expdate.toGMTString() + ";path=/;";
}

function clearCookie(key) {
	document.cookie = key + "=" + "xx; expires=Tue, 1-Jan-2000 00:00:00;path=/;";
}

function addListener(elm, type, func) {
	if(!elm)
		return false;

	if(elm.addEventListener)
		elm.addEventListener(type, func, false);
	else if(elm.attachEvent)
		elm.attachEvent('on'+type, func);
	else
		return false;

	return true;
}

function enlargeFont() {
	var fs = eval(getCookie("fs") );
	if(!fs)
		fs = dfs;
	fs += 10;

	setCookie("fs", fs, 60*24*60*60);
	if(fs > dfs)
		document.body.style.fontSize = fs + "%";
}

function normalizeFont() {
	clearCookie("fs");
	document.body.style.fontSize = dfs + "%";
}

function loadEvent(e) {
	//activate menu
	var uri = document.URL;
	if(uri.match(/\/$/) )
		uri += "index.html";
	uri = uri.replace(/(\/[0-9]{2}[a-z]+\/).+\.html$/, "$1index.html").toLowerCase();

	var ancs1 = document.getElementById("headermenu").getElementsByTagName("a");
	for(var i = 0; i < ancs1.length; i++) {
		if(ancs1.item(i).href == uri)
			ancs1.item(i).className = "on";
	}

	if(document.getElementById("menu") ) {
		var ancs2 = document.getElementById("menu").getElementsByTagName("a");
		for(var i = 0; i < ancs2.length; i++) {
			if(ancs2.item(i).className == "h" && ancs2.item(i).href == uri)
				ancs2.item(i).className = "h on";
		}
	}

	//set enlarge btn
	var fontl = document.getElementById("fontl");
	addListener(fontl, "click", enlargeFont);
	var fontn = document.getElementById("fontn");
	addListener(fontn, "click", normalizeFont);

	//enlarge font size
	var fs = getCookie("fs");
	if(fs > dfs)
		document.body.style.fontSize = fs + "%";
}

addListener(window, "load", loadEvent);
//-->