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