A CGI that can do on-the-fly HTML to WML conversion