document.writeln("11142");