12 / a a 13 * /,