document.write(' 10952 ');