document.writeln(4094);