document.write ("42031");