document.write ("1072");