document.write (" 10020 ");