document.write('2 5 0 0 7 ');