document.write ("14042");