The Palm Pre hasn’t been doing as well as hoped and now there’s talk of Nokia buying out Palm. If that were to happen, which operating system would Nokia keep?