document.writeln("3142");