WIKSTR ( 1273 .)