How much money did George Lucas get for selling Lucasfilm to Disney?
$4 billion
<START_INST>How much money did George Lucas get for selling Lucasfilm to Disney?<END_INST><START_CTX><END_CTX><START_A>$4 billion<END_A>