document.write('5821\n');