function add_incoming_extension_selector(destination_id, pattern) { if (pattern === undefined) { pattern = ''; } var id = next_incoming_extension_selector_id; jQuery("#incoming_extension_selector").append( '