document.write (" 10241 ");