Comment découper une chaîne de caractères en PHP?

Ok, j'ai donc eu cette chaîne:

"MICROSOFT CORP CIK#: 0000789019 (see all company filings)"

Et je voudrais couper tout ce qui est après le "CORP" peu. Comment pourrais-je aller sur le faire en PHP? Je suis habitué à Python, donc je ne suis pas sûr de savoir comment ce est fait.

Pour être clair, c'est la sortie que je veux:

"MICROSOFT CORP"

Je suis en train d'essayer:

$companyname = substr($companyname, 0, strpos($companyname, " CIK"));

et je reçois rien à montrer.

Voici mon code complet:

<?php
include 'simple_html_dom.php';
$html = file_get_html('http://www.sec.gov/cgi-bin/browse-edgar?company=&match=&CIK=MSFT&filenum=&State=&Country=&SIC=&owner=exclude&Find=Find+Companies&action=getcompany');
$companyname = $html->find('span[class=companyName]', 0);
$companyname = substr($companyname, 0, strpos($companyname, " CIK#")+5);
$bizadd = $html->find('div[class="mailer"]');
echo $companyname;
echo "<br />";
foreach ($bizadd as $value) {
    $addvals = $value->find('span[class="mailerAddress"]');
    echo "<br />";
    foreach ($addvals as $value) {
        echo $value;
        echo "<br />";
    }
}
?>
Andrew, vérifier mes mises à jour de réponse après vos modifications.

OriginalL'auteur Andrew Alexander | 2011-10-08