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