Fungerar inte *#0000# på Din Nokia-telefon?

Detta hände mig på min Nokia N95.
Läste  precis att ett alternativ, om *#0000# ej fungerar, kan vara *#9999#.

I mitt fall så fungerar originalkommandot efter att telefonen varit på service.

Kommandot visar telefonens IMEI-kod (för den som ev ej visste detta).