document.write ("42950");