int WXWW = wxww

Deprecated, use wxww instead.