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