szURL = document.URL;
componentList = szURL.split('/');
szDocument = componentList[componentList.length-1];
if (top.location == self.location) top.location.replace("../mpirical_companion.html#GSM/" + szDocument);