document.write ("1056 ");