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