document.writeln("642");