I think the IDs in curly brackets are assigned by the operating system. Hence on a different OS installation, same device gets new ID. On the same installation, it will keep the ID no matter which USB port you plug it in to (which is the real benefit from the state before ED and other developers adopted the device ID idea).