document.write('5210\n');