<!--

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

// -->