document.writeln(4072);