document.write(' 10472 ');