document.write ("42010");