function frames() {
if (top.location == document.location)
top.location = "principal.html";
}