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