Devises:  

Panama Jack