A url shortener with php and mysql