25 cents, ceylon