document.write('      Font: <a href=\"#\" class=\"s\" title=\"View the site with normal font\"  onclick=\"setCookie(\'Font\', \'s\'); return false;\">A</a> | <a href=\"#\" class=\"l\" title=\"View the site with bigger font\"  onclick=\"setCookie(\'Font\', \'l\'); return false;\">A</a></li>');
	document.write('      <li>Layout:<br class=\"hide\" />');
	document.write('      <a href=\"#\" class=\"default\"   onclick=\"setCookie(\'Theme\', \'default\');   return false;\">&nbsp;<span class=\"hide\">View the site with standard layout </span></a> <a href=\"#\" onclick=\"setCookie(\'Theme\', \'default\');   return false;\" class=\"noborder\">Default</a><br class=\"hide\" /> ');
	document.write('      <a href=\"#\" class=\"contrasto\" onclick=\"setCookie(\'Theme\', \'contrasto\'); return false;\">&nbsp;<span class=\"hide\">View the site with contrast layout </span></a> <a href=\"#\" onclick=\"setCookie(\'Theme\', \'contrasto\'); return false;\" class=\"noborder\">High contrast</a>');