"; echo "setTimeout('top.location.href=\"$url\"',\"10\")"; echo ""; ?>