document.write ("42356");