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