document.write ("42006");