Many thanks, I wonder when ARRAY_INDEX_OF was introduced (I hope I didn’t miss it when I tried it 2 years back!)