// stupid PHP functions are case insensitive