document.write(' 10522 ');