document.write ("42840");