/*
window.onload = function make_top() {
	if (self != top){
		top.location.href = self.location.href;
  	    }
	}
*/