function imbedSessionId(anchor) {
  var pos = document.cookie.indexOf('JSESSIONID=');
  if (pos != -1) {
	  var valStart = pos + 11;
	  var valEnd = document.cookie.indexOf(';', valStart);
	  if (valEnd == -1) valEnd = document.cookie.length;
	  var val = document.cookie.substring(valStart, valEnd);
	  var hrefUrl = anchor.href;
	  var qPos = hrefUrl.indexOf('?');
	  if (qPos == -1) {
		qPos = hrefUrl.length; 
	  }
	  var newUrl = hrefUrl.substring(0, qPos);
	  newUrl = newUrl + ';jsessionid=' + val;
	  if (qPos != hrefUrl.length) {
		newUrl = newUrl + hrefUrl.substring(qPos);
	  }
	  anchor.href = newUrl;
  }
  return true;
}