// HTML-generating code to be placed in <body>, wherever the
history table is to be generated:
var x =
Htr(Htd("top.history.length=",top.history.length));
for (var i=0; i<history.length; i++) {
x = x + Htr(Htd(i,top.history[i])) }
document.write(Htable("border=5 cellspacing=0 cellpadding=4",x));