"; echo "document.location.href=document.referrer"; echo ""; ?>