[23
]: 42