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

String.prototype.trim = function () {return this.replace(/^\s*/, "").replace(/\s*$/, "");};