function setcookie(name, value, expire, path, domain) {
      var cookie = name+'=';
      if (value !=undefined) {
         value = escape(value);
         cookie = cookie+value;
      }
      if (expire != undefined && expire != 0) {
         date = new Date();
         date.setTime(expire*1000); // unixtime * 1000
	 cookie = cookie+';expires='+date.toGMTString();
      }
      if (path != undefined) {
         cookie = cookie+';path='+path;
      }
      if (domain != undefined) {
         cookie = cookie+';domain='+domain;
      }
      document.cookie = cookie;
   }