document.write('25920\n');