function link(filename) {
  document.location.href = filename;
}

window.onload = function () {
}