function readCookie(name) {
	var nameEQ = name + "=";
	var ca = document.cookie.split(';');
	for ( var i = 0; i < ca.length; i++) {
		var c = ca[i];
		while (c.charAt(0) == ' ') {
			c = c.substring(1, c.length)
		}
		if (c.indexOf(nameEQ) == 0) {
			return c.substring(nameEQ.length, c.length)
		}
	}
	return null
}
//css_size_choice = readCookie("css_size_choice");
if ((screen.width <= 800) && (css_size_choice == null)) {
	document.location = "/set_size_css.php?css=structure_800.css&ref=" + document.location
}