RTL00_WEB_VS/RTLGDB/WEBFiles/$js.inc

var $ = function(id){return document.getElementById(id);}