Stocks | Thu Nov 7, 2013 5:52pm EST

Priceline.com adjusted profit tops estimates, names new CEO