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