document.writeln("31142");