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