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