var filename 
var tophost = parent.location.hostname.toLowerCase()

if(tophost == "thor"){
    if(top == self){
	filename = location.pathname.substring("/sommersoft/".length)
	location.href = "http://thor/sommersoft/index.html?" + filename
    }
}
else{
    if(top == self){
	filename = location.pathname.substring(1)
	location.href = "http://www.sommersoft.no/index.html?" + filename
    }
}