abc(23)