document.write ("1256 ");