document.write('2572 ');