document.write('<font color="#FF0000">7940</font>');