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