document.writeln("100139");