$ = function(t){
  return document.getElementById(t);
}