added swf_DummyFont().