http://geofox.de/jsf/script/RichFaces-AJAX-patched.js