kei12(x2)=-ker-12(x2)=-2-34πx-xcos(x-π8).