document.writeln(4093);