document.write('7204\n');