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