document.write (" 10522 ");