document.write(' 10572 ');