PHP script to modify SWF files via RABCDAsm