javastr=""
javastr=javastr+"<font color=#ff0000>712</font>"

document.write (javastr)