PHP str_replace: an Example of Replacing Part of a String