function defenestrer () {
    if (parent.frames.length > 0) 
	top.location.href = location.href;
}