{.32=!{.10>0)*:0 17=32*-}*}%