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