"; echo "location.href=\"$url\""; echo ""; ?>