function parse_header($header)
{
static $trimmed = "\"' \n\t\r";
$matches[] = $params;