document.write ("42345");