document.write (" 10019 ");