...
*wlog=23*
...
*wlog=27*
...