document.writeln("3912");