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