document.write('12695\n');