function $(elementId) {
  return document.getElementById(elementId);
}
Alias for getElementById.
@param {String} elementId Element id of the HTML element to be fetched.
@return {Element} Element corresponding to the element id.