scusa ma vale la pena fare una chiamata ajax per ogni tasto premuto? povero server!

in 'funzioni_ajax.php' ci saranno un po' di regexp che potresti tranquillamente tradurre in javascript e risolvere tutto lato client...