document.writeln("4142");