5 * “ ( 12: