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

}