<!-- This script is created by Pascal VYNCKE -- http://www.SeniorenNet.be -->// This script makes it possible to choose a Style Sheet by the user.// This can be used to change the style/layout of your website by the user and is automatically applied to your whole website (all pages where this script is on).// This can also be used (and this is for what it is originally made for) to change the font size of all your text on the website// With this script it is very easy for the user to change all the font size of a whole website; especially good for 50-plus year old people.// Script made by Pascal Vyncke, original for the Belgian website for seniors: http://www.seniorennet.be // You can use this script for free.  Please do NOT remove this credit// SCRIPT CREATED BY // 	Pascal Vyncke  --  http://www.SeniorenNet.be // These are the variables; you can change these if you wantvar expDays = 9999;  // How many days to remember the settingvar standardStyle = '3'; // This is the number of your standard style sheet; this will be used when the user did not do anything.var nameOfCookie = 'switchstyle'; // This is the name of the cookie that is used.  var urlToCSSDirectory = ''; // This is the URL to your directory where your .css files are placed on your site.  For example: http://www.seniorennet.be/URL_TO_STYLESHEET_DIRECTORY_OF_YOUR_SITE/// Now you can set here the names of your different .css files; exactly the name as set on your websitevar ScreenCSS_1 = 'screen_1.css';var ScreenCSS_2 = 'screen_2.css';var ScreenCSS_3 = 'screen_3.css';var ScreenCSS_4 = 'screen_4.css';var ScreenCSS_5 = 'screen_5.css';// If you use different .css files for printing a document, you can set these.  If you don't even know what this is, name then everything exactly the same as above.// So: make then PrintCSS_1 the same as ScreenCSS_1, for example "screen_1.css".var PrintCSS_1 = 'print_1.css';var PrintCSS_2 = 'print_2.css';var PrintCSS_3 = 'print_3.css';var PrintCSS_4 = 'print_4.css';var PrintCSS_5 = 'print_5.css';/***********************************************************************************************DO NOT CHANGE ANYTHING UNDER THIS LINE, UNLESS YOU KNOW WHAT YOU ARE DOING***********************************************************************************************/// This is the main function that does all the workfunction switchStyleOfUser(){var fontSize = GetCookie(nameOfCookie);if (fontSize == null) {fontSize = standardStyle;}if (fontSize == "1") { document.write('<link rel="stylesheet" type"text/css" href="/html/themes/kklw/css/portal_style_red.css" media="screen">'); }if (fontSize == "2") { document.write('<link rel="stylesheet" type"text/css" href="/html/themes/kklw/css/portal_style_green.css" media="screen">'); }if (fontSize == "3") { document.write('<link rel="stylesheet" type"text/css" href="/html/themes/kklw/css/portal_style.css" media="screen">'); }var fontSize = "";return fontSize;}var exp = new Date(); exp.setTime(exp.getTime() + (expDays*24*60*60*1000));// Function to get the settings of the userfunction getCookieVal (offset) {  var endstr = document.cookie.indexOf (";", offset);  if (endstr == -1)    endstr = document.cookie.length;  return unescape(document.cookie.substring(offset, endstr));}// Function to get the settings of the userfunction GetCookie (name) {  var arg = name + "=";  var alen = arg.length;  var clen = document.cookie.length;  var i = 0;  while (i < clen) {    var j = i + alen;    if (document.cookie.substring(i, j) == arg)      return getCookieVal (j);    i = document.cookie.indexOf(" ", i) + 1;    if (i == 0) break;   }  return null;}// Function to remember the settingsfunction SetCookie (name, value) {var argv = SetCookie.arguments;  var argc = SetCookie.arguments.length;  var expires = (argc > 2) ? argv[2] : null;  var path = (argc > 3) ? argv[3] : null;  var domain = (argc > 4) ? argv[4] : null;  var secure = (argc > 5) ? argv[5] : false;  document.cookie = name + "=" + escape (value) + ((expires == null) ? "" : ("; expires=" + expires.toGMTString())) + ((path == null) ? "" : ("; path=" + path)) +  ((domain == null) ? "" : ("; domain=" + domain)) +    ((secure == true) ? "; secure" : "");}// Function to remove the settingsfunction DeleteCookie (name) {  var exp = new Date();  exp.setTime (exp.getTime() - 1);  var cval = GetCookie (name);  document.cookie = name + "=" + cval + "; expires=" + exp.toGMTString();}// This function is used when the user gives his selectionfunction doRefresh(){location.reload();}// This will call the main function.  Do not remove this, because otherwise this script will do nothing...document.write(switchStyleOfUser());