sapresti indicarmi come si usa questo ob_start() per esempio se volessi fare un redirect su $url cosa dovrei scrivere?