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