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