document.write ("1071 ");