document.getElementById("hr_ticker").innerHTML=' '; document.write( '' );