document.write ("42060");