A roughly time-aligned comparison of mentions of "ge" on Twitter and the price of $GE for 12/9/08-01/12/09