Take care of your own safety first, and:

• Call the 112 emergency number (112 emergency number calling manual).
• Notify the nearest porter's lodge (list of porter’s lodges and telephone numbers).
• Provide first aid (first aid manual).
• If necessary, use the first aid kit available at each porter’s lodge or the automated external defibrillator (AED) (location of AED devices in the JU).