function setFontSize (size)
{
	//window.alert('styles/fontsize_'+ size + '.css');
	var href=document.getElementById('fontsize_css').href;
	var path=href.substring(0,href.lastIndexOf('_')+1);
	var ext=href.substring(href.lastIndexOf('.'),href.length);
	//alert (path + size + ext);
    document.getElementById('fontsize_css').href = path + size + ext; // 'styles/fontsize_' + size + '.css';
    createCookie('fontsize', size, 31);
}