michael@0: /* Any copyright is dedicated to the Public Domain.
michael@0:  * http://creativecommons.org/licenses/publicdomain/  */
michael@0: 
michael@0: document.removeChild(document.firstChild);