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