How much money did George Lucas get for selling Lucasfilm to Disney?


$4 billion