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