How much money did George Lucas get for selling Lucasfilm to Disney?
$4 billion
### Instruction: How much money did George Lucas get for selling Lucasfilm to Disney?
### Context: 
### Answer: $4 billion</s>