<!--
  cookie_name = "MachineCookie";
  var MachineNaam;

  function putCookie(value) {
  if(document.cookie != document.cookie)
    {index = document.cookie.indexOf(cookie_name);}
  else 
    { index = -1;}

  if (index == -1)
    {MachineNaam=value; document.cookie=cookie_name+"="+MachineNaam+"; expires=Monday, 04-Apr-2015 05:00:00 GMT; path=/";}}
//-->