document.writeln('3002');