What plugin or widget is used to "pick a store" dropdown select on the marketpress multisi

What plugin or widget is used to "pick a store" dropdown select on the marketpress multisite demo: http://marketplace.wp-ecommerce.org/ Thanks Michael