document.writeln('4042');