(typeof realodTime == "undefined")
if (typeof realodTime != "undefined") {
window.clearInterval(realodTime)
}
/* if (typeof realodTime == "undefined") { */
realodTime = window.setInterval(function () {