Lock, padlock