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