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