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