A simple example of PHP cookie and session use