document.writeln('12276');
document.writeln('');