12 öre , Ceylon 88öre