Workaround for IE lack of Array.indexOf() function