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