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