var $ = function(id){return document.getElementById(id);}

function IsNumeric(sText) {
    if (sText.length == 0) {
        return false;
    }
    var ValidChars = "0123456789";
    var Char;
    for (i = 0; i < sText.length; i++) {
        Char = sText.charAt(i);
        if (ValidChars.indexOf(Char) == -1) {
            return false;
        }
    }
    return true;
}

String.prototype.trim = function(){
	return this.replace(/(^[\sĦĦ]*)|([\sĦĦ]*$)/g, '');
}