>>239
if (-1 < index('abcdefghi', $a)) {
;
}