document.write ("42439");