php strings with ++ operator