document.write('1 3 0 8 1 ');