function Trim(stringa) {
 reTrim=/\s+$|^\s+/g;
 return stringa.replace(reTrim,"");
}

function submitsessionform(context, namedLink) {
	document.getElementById('ctx').value=context;
	if (namedLink) {
	  document.getElementById('hash').value=namedLink;
	}
	document.getElementById('sessionform').submit();
	return false;
}