When the defibrillator was installed, Trevor Batchelder wondered who would be the first user of the life-saving device.

Defibrillators give a patient in cardiac arrest an electric shock to the heart, which can help save their life.

The father of a 12-year-old boy who died after a cardiac arrest is campaigning to have defibrillators fitted in all public buildings.