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