document.write(" 10312");