” 12 * ''