document.writeln("42142");