522def