document.write (" 10312 ");