در حاشیه: شرکت ملی نفت ایران چقدر می‌ارزد؟