while (($tok = strtok(';')) !== false) {
                    $p = explode('=', $tok);
                    $p[0] = trim($p[0]);

                    if (!isset($p[0][0])) {