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…