mariadb json extract

1+----+--------+-------+-------+---------------------------------+
2| id | name   | price | stock | attr                            |
3+----+--------+-------+-------+---------------------------------+
4|  2 | Shirt  | 10.50 |    78 | {"size": 42, "colour": "white"} |
5|  3 | Blouse | 17.00 |    15 | {"colour": "white"}             |
6+----+--------+-------+-------+---------------------------------+
7  
8SELECT name FROM clothes WHERE JSON_EXTRACT(attr, '$.size') = 42;