Pease run "./pvs -http" and open "http://localhost:5050/testjavascript_svg.html" with your web browser (firefox/chrome/opera...)
JavaScript can change HTML content.