document.write("<font color='#CC3300'>4072</font> Times");