proceeds from exports