// JavaScript Document

//function used to get the element
//on a form based on the ele_id
function getThisElement(ele_Id)
{
    if(document.all)
        return document.all(ele_Id)
    else
        return document.getElementById(ele_Id)
}

String.prototype.trim = function() { return this.replace(/^\s+|\s+$/, ''); };

