document.write(' 10212 ');