document.write (" 10231 ");