1 <html xmlns=
"http://www.w3.org/1999/xhtml"
2 xmlns:
xul=
"http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
4 <script type=
"text/javascript">
8 for(var p
in document
.getElementById("prefs")) {
11 for(var p
in window
) {
17 <body onload=
"boom();">
19 <xul:preferences id=
"prefs" />