index($str, $substr) >= 0