### Instruction: How much money did George Lucas get for selling Lucasfilm to Disney?
### Response: $4 billion