A simple PHP and AJAX time converter for major world cities.