document.write ("1256")