v ( 12880 ),