The four pilgrim destinations Yamunotri, Gangotri, Kedarnath and Badrinath in Uttarakhand, are collectively known as