ext. / int.