document.writeln('6002');