document.write('10204\n');