document.write (" 10023 ");