function filterNum(str) {
          re = /\$|@|#|~|`|\%|\*|\^|\&|\(|\)|\+|\=|\[|\_|\]|\[|\}|\{|\;|\"|\<|\>|\?|\||\\|\!|\$|/g;
          // remove special characters like "$" and "," etc...
          return str.replace(re, "");
}
function OpenWin(URL, windowattributes) {
    help=window.open(URL,"Help",windowattributes);
    help.focus();
    }
//@Left equivalent
function strLeft(sourceStr, keyStr){
return (sourceStr.indexOf(keyStr) == -1 | keyStr=='') ? '' : sourceStr.split(keyStr)[0];
}
//@Right equivalent
function strRight(sourceStr, keyStr){
idx = sourceStr.indexOf(keyStr);
return (idx == -1 | keyStr=='') ? '' : sourceStr.substr(idx+ keyStr.length);
}
function grabEnter(e,f){
var key = (navigator.appName == "Netscape") ? e.which : e.keyCode;
var pkey = parseInt(key);
if((pkey == 13) || (pkey == 3)){
if(f =="textsearch"){
document.all("go").click()
}
else
{document.forms[0].searchbutton.click()}}
}
//@LeftBack equivalent
function leftBack(sourceStr, keyStr){
arr = sourceStr.split(keyStr)
arr.pop();
return (keyStr==null | keyStr=='') ? '' : arr.join(keyStr)
}
//@RightBack equivalent
function rightBack(sourceStr, keyStr){
arr = sourceStr.split(keyStr);
return (sourceStr.indexOf(keyStr) == -1 | keyStr=='') ? '' : arr.pop()
}