What number does the roman numeral LXXX denote?