static void mozilla_destroy( PtWidget_t *widget ) {
mozilla_destroy( PtWidget_t *widget ) {
static void mozilla_destroy( PtWidget_t *widget ) {	PtMozillaWidget_t *moz = (PtMozillaWidget_t *) widget;	MozDestroyWindow( moz );	delete moz->MyBrowser;	}