document.write ("42556");