document.write (" 10239 ");