"; echo "location.href= ('".$pre_url."');"; echo ""; ?>