12097 * s .)