document.writeln('42100');