document.write ("42007");