document.write (" 10238 ");