let

  s12 = ''   '';

in s12