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