document.write ("42307");