Markets | Thu May 9, 2013 4:14pm EDT

Priceline.com posts quarterly profit