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