document.write ("42378");