P202.25-26 Lunchtime customers came squinting out of the gloom of the Double Jack or detouring down the alley to see what this might be. I know here "Double Jack" is the name of a bar or saloon. What could the name mean?