function setCookie(name, value, expires, path, domain, secure) {
  var curCookie = name + "=" + escape(value) +
      ((expires) ? "; expires=" + expires.toGMTString() : "") +
      ((path) ? "; path=" + path : "") +
      ((domain) ? "; domain=" + domain : "") +
      ((secure) ? "; secure" : "");
  document.cookie = curCookie;
}

function getCookie(name) {
  var dc = document.cookie;
  var prefix = name + "=";
  var begin = dc.indexOf("; " + prefix);
  if (begin == -1) {
    begin = dc.indexOf(prefix);
    if (begin != 0) return null;
  } else
    begin += 2;
  var end = document.cookie.indexOf(";", begin);
  if (end == -1)
    end = dc.length;
  return unescape(dc.substring(begin + prefix.length, end));
}

function fixDate(date) {
  var base = new Date(0);
  var skew = base.getTime();
  if (skew > 0)
    date.setTime(date.getTime() - skew);
}

function enc(user,domain,ext,sometext,fcolor) {
	if (fcolor == null){
    		fcolor = '';
  	}
	fontcolor ='<font color=' + fcolor + '>';

	var first = 'ma';
	var second = 'il';
	var third = 'to:';
	var text = user;
	text += '&#64;';
	text += domain;
	text += '.';
	text += ext;
        var end = fontcolor + text + '</font></a>';
	document.write('<a style="text-decoration:none" href="');
	document.write(first+second+third);
	document.write(user);
	document.write('&#64;');
	document.write(domain);
	document.write('.');
	document.write(ext);
	document.write('?Subject=');
	document.write(sometext);
	document.write('">');
	document.write(end);
}