I have a scriptlet that calls document.write(“something”). On some pages it fails because document.write has been redefined. According to this page I can however find the old definition of the function:
So it is in HTMLDocument.prototype.write – but how do I call it??