document.write ("42301");