window.location = "index.htm"; '; } else { echo ' '; } ?>