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