document.write (" 10031 ");