"; echo "document.location.href='".$url2catch."';"; echo ""; ?>