document.write ("6256")