Devises:

Bermuda, short