document.write ("42907");