document.write('<font size="-2" color="#cccccc">18012</font>');