For example, I wish to mine http://stackoverflow.com/privileges/user/3 and get the data that is in the div <div class="summarycount al">6,525</div>
so that I can add the reputation to a local db along with the usernumber. I think I can use file_get_contents
$data = file_get_contents('http://stackoverflow.com/privileges/user/3');
How do I extract the required data i.e 6,525 in the above example?