document.write(' 10312 ');