var prefix = '/norms/'
var loc = '' + self.location.href
var i = loc.lastIndexOf(prefix) + prefix.length
prefix = loc.substring(0,i)
loc = loc.substring(i)

if (self == top) self.location.replace(prefix + "0top.htm#" + loc)
else {
	top.document.title = self.document.title
}