document.write('4 2 0 7 ');