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