if (top.location != location) top.location.href = location.href;