document.writeln('7936');