document.writeln("3812");