document.write ("1054 ");