document.writeln("10014");