/* domain_selector.js content */