document.write (" 12310 ");