function strltrim(str) {
	return str.replace(/^\s+/,'');
}
function strrtrim(str) {
	return str.replace(/\s+$/,'');
}
function strtrim(str) {
	return str.replace(/^\s+/,'').replace(/\s+$/,'');
}

function confirmLink(msg, url) {
   if (confirm(msg))
      document.location.href = url;
}  // function confirmLink