document.write ("1042 ");