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