A few php scripts to handle URL shortening