class wysiwygPro {
var $classname = "wysiwygPro";
//etc.