document.writeln("3042");