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