function $(obj)
{
    return document.getElementById(obj);
}