8 12 1 / a6 7 *9