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