I guess Nokia owns Symbian these days so very probably they will skip ^4 - I think they are still busy getting ^3 ready for the N8 so it'll be a while before they start thinking about the next iteration.

Anyway, don't take my negativity personally, I don't live in one of the Asian countries that have the aversion to 4 - here it's 13.

I stand corrected : )