Global identifiers from different JavaScript environments