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