// JScript File

function GetId(el)
{
    return document.getElementById(el);
}

function Trim(s)
{
    return s.replace(/^\s*(.*?)\s*$/ig,"$1");
}