function $(el) //just a shorter version of document.getElementById() method
{
    return document.getElementById(el);
}