what is the other name of badrinath. There are any references about what is the other name of badrinath in here. you can look below.