function switchStyle(style) {
	setCookie('layout',style,100);
	document.getElementById('general_css').href = 'tools/' + style;
}

function setCookie(c_name,value,expiredays) {
	var exdate = new Date();
	exdate.setDate(exdate.getDate()+expiredays);
	document.cookie = c_name+ "=" + escape(value) + ((expiredays==null) ? "" : ";expires=" + exdate.toUTCString());
}