document.writeln("3996");