Which PHP function sets a cookie and URL encodes its value when sending it to the browser?