document.writeln("1056");