Export fra Mysql til CSV

Hej.

Jeg har fundet et script her på E. ang. dette og det virker fint.

Men kan man fx. få den til at skrive 9999 foran ID'et i tabelen når i exporten?

Her er Scripte:

    $sql = "SELECT * FROM Brugere";
    $qh = mysql_query( $sql ) or die( mysql_error() );
    $first = true;
   
    header( "Expires: Wed, 6 Sep 2000 11:11:11 GMT" );
    header( "Last-Modified: " . gmdate( "D, d M Y H:i:s" ) . "GMT" );
    header( "Pragma: no-cache");
header( "Content-Type: application/x-msdownload" );
    header( "Content-Disposition: inline; filename=\"BrugereWEB.csv\"" );

    while ( $row = mysql_fetch_assoc( $qh ) )
    {

        $cols = array();
        foreach ( $row as $key => $val )
        {
            $cols[] = "\"" . str_replace( '"', '\"', $val ) . "\"";
        }
        echo implode( ";", $cols ) . "\r\n";
    }
   
?>