document.write ("42058");