document.writeln("3842");