document.writeln("1042");