Indexwert von Array-Element ermitteln?

[Yadgar]

Hi(gh)!

Folgendes Problem:

In einem Formular soll per <select> einer von 97 verschiedenen String-Werten (konkret: Tonbezeichnungen über acht Oktaven hinweg, in einem vorher definierten Array gespeichert) ausgewählt werden. Die Datenbank erwartet aber Integer-Werte (von 0 bis 96). Da ich aber keine riesenlange switch-Struktur mit 97 Verzweigungen programmieren will, hätte ich gerne gewußt, ob es in PHP möglich ist, ausgehend vom Inhalt eines Arrayelements dessen Indexwert zu ermitteln, etwa so (das Array heißt $keynames_de):

$i = index($keynames_de, ",C")
// $i = 12;

Kennt PHP eine solche Funktion?

Bis bald im Khyberspace!

Yadgar