document.write ("1047 ");