document.writeln('4312');