random($foo)

found it again, going to write it down this time. ie dom -> w3 dom:

if (document.getElementsByTagName("*")) {

   document.all = document.getElementsByTagName("*")

}