var font;

function change_font_size(size, a)
{
	var d;
	
	document.getElementById("fontSize").href = "inc/css/typo_"+ size.toLowerCase().charAt(0) +".css";
	a.style.textDecoration = "underline";
	
	if ( (/fontSize=([a-z]+)/i.exec(document.cookie)) )
		document.getElementById(RegExp.$1 +"Font").style.textDecoration = "none";
	else
		document.getElementById("smallFont").style.textDecoration = "none";
	
	d = new Date();
	d.setYear(d.getYear() + 1901);
	
	document.cookie = "fontSize="+ size.toLowerCase() +"; expires="+ d.toGMTString() +";";
	
	if ( lang )
		document.cookie += "language="+ lang +"; expires="+ d.toGMTString() +";";
	
	font = size;
	
	a.blur();
	
}