I grab the $HTTP_REFERER. How do I get the file name out of the REFERER url? Or is there a way to get just the file that the user came from?