function writeIE() {
}

function init() {
  onScroll(updateTopButton);
  if (document.getElementById("Log")) document.getElementById("Log").focus();
}