package flash.html; extern class __HTMLScriptFunction implements Dynamic { function new() : Void; }