document.write ("42240");