document.write('3 0 0 8 7 ');