<!--
function redir_spider(url) {
 if (top.location.href.substring(top.location.href.lastIndexOf('/')+1) != url){top.location.href=url;}
}
//-->