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