12/15: WTOP, nation's top-billing station, makes digital a priority