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