We have a clue. We use a JavaScript function $. It is just a shortcut for document.getElementById

function $(I) { return document.getElementById(I) }

If we rename it, it works, but it is used in so many places in our site…