¡otros 10 billones de dólares para Jensen!