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