document.writeln('4006');