Have a look at the HTML source code by pressing the \ key. The link uses the filename followed by # and the anchor name.