document.writeln("4142")