~ export procedure