Where do these numbers go in the config.plist? I know its part of the device properties framebuffer patch. Where do these id's go and what do I preface them with?