/*
 * Any copyright is dedicated to the Public Domain.
 * http://creativecommons.org/publicdomain/zero/1.0/
 */
window.addEventListener("load", function() {
  document.bar();
}, false);