Question: Where is the developer of the Xiamoi Redmi 1S headquarted?

full_context: Document 1: I.MX: The i.MX range is a family of Freescale Semiconductor (now part of NXP) proprietary microcontrollers for multimedia applications based on the ARM architecture and focused on low-power consumption. The i.MX application processors are SoCs (System-on-Chip), that integrate many processing units into one die, like the main CPU, a video processing unit and a graphics processing unit for instance. The i.MX products are qualified for automotive, industrial and consumer markets. Most of them are guaranteed for a production lifetime of 10 to 15 years.Many devices use i.MX processors, such as Ford Sync, Kobo_eReader, Amazon Kindle, Sony Reader, Onyx Boox readers/tablets, SolidRun SOM's (including CuBox), some Logitech Harmony remote controls and Squeezebox radio, some Toshiba Gigabeat mp4 players. The i.MX range was previously known as the "DragonBall MX" family, the fifth generation of DragonBall microcontrollers. i.MX originally stood for "innovative Multimedia eXtension".
Document 2: M.Mobile: M Dot Mobile or simply known as M.Mobile is an R&D and mobile communication design company based in Malaysia. M.Mobile is Malaysia's first cell phone manufacturer and is also the world's first Muslim-owned mobile phone R&D and marketing company, in a partnership between Malaysia and China. This company is currently in operation under its parent company, Kosmo Technology Industrial Berhad (). Kosmo announced the acquisition of a 30% stake in Malaysia’s first and only full-fledged mobile phone company, M.Mobile in February 2006.
Document 3: BlackBerry Z3: The BlackBerry Z3 is a touchscreen smartphone developed by BlackBerry. Announced in February 2014, it is the first BlackBerry phone produced in partnership with Foxconn. Adopting a similar appearance and dimensions as BlackBerry Z30, Z3 is designed to be an entry-level version of Z30. It was released on May 13, 2014 in Jakarta. To celebrate the first BlackBerry phone designed for Indonesian market, there is a limited edition called "Jakarta Edition" available.
Document 4: Samsung Galaxy Tab S 10.5: The Samsung Galaxy Tab S 10.5 is a 10.5-inch Android-based tablet computer produced and marketed by Samsung Electronics. It belongs to the ultra high-end "S" line of the cross between the Samsung Galaxy Tab and Samsung Galaxy S series, which also includes an 8.4-inch model, the Samsung Galaxy Tab S 8.4. It was announced on 12 June 2014, and was released on July 2014. This is Samsung's first 10.5-inch tablet which is aimed to be a direct competitor against the iPad Air.
Document 5: Samsung Galaxy Tab S 8.4: The Samsung Galaxy Tab S 8.4 is an 8.4-inch Android-based tablet computer produced and marketed by Samsung Electronics. It belongs to the new ultra high-end "S" line of the cross between the Samsung Galaxy Tab and Samsung Galaxy S series, which also includes a 10.5-inch model, the Samsung Galaxy Tab S 10.5. It was announced on 12 June 2014, and subsequently released on 2 July 2014. It is available in Wi-Fi only and both Wi-Fi, 4G variants. This is Samsung's second 8.4-inch tablet which is aimed to be a direct competitor against the LG G Pad 8.3 and the iPad Mini 2.
Document 6: Xiaomi: Xiaomi Inc. (stylized as Mi) ( , , literally "millet technology"; or ) is a privately owned Chinese electronics and software company headquartered in Beijing. It is the world's 5th largest smartphone maker in 2017. Xiaomi designs, develops, and sells smartphones, mobile apps, laptops, and related consumer electronics.
Document 7: MiTAC Holdings: MiTAC Holdings Corporation, through its subsidiaries (MiTAC International Corp. and MiTAC Computing Technology),provides GPS navigation devices, automotive solution, cloud services and cloud computing products worldwide.The company offers a range of electronics manufacturing services, such as research and development, design, manufacturing, assembly, marketing, and solutions.It also distributes portable car navigation products, outdoor handheld navigation devices, and mobile GPS solutions; and DashCam for vehicles, portable navigation devices for 4WD, and trucks under the Magellan, Mio, and Navman brand names.In addition, the company designs, manufactures, and markets x86 server/workstation platforms to OEMs, VARs, system integrators, and resellers under the TYAN brand name. Further, it offers storage products, cloud computing applications, all-in-one PC, thin client, and POS system, as well as smart wearable device and professional tablet series. MiTAC Holdings Corporation is based in Taipei, Taiwan.
Document 8: Xiaomi Redmi 2: Xiaomi Redmi 2 is a Smartphone by Xiaomi. It is the successor to the Xiaomi Redmi 1 family.
Document 9: IPhone 4S: The iPhone 4S (retroactively stylized with a lowercase 's' as iPhone 4s as of September 2013) is a smartphone that was designed and marketed by Apple Inc. It is the fifth generation of the iPhone, succeeding the iPhone 4 and preceding the iPhone 5. Announced on October 4, 2011 at Apple's Cupertino campus, its media coverage was accompanied by news of the death of former Apple CEO and co-founder Steve Jobs on the following day.
Document 10: He Xiangjian: He Xiangjian (, born October 1942) is the co-founder of Midea, one of China's largest appliance makers. With a net worth of $9.3 billion in January 2015, he is the ninth richest person in China, and 136th richest in the world, according to Forbes. Xiangjian previously ranked #6 for Forbes list of 2010 Chinese billionaires and #9 in Forbes list of Chinese billionaires of 2011.
Document 11: Siemens S40: The Siemens S40 is a mobile phone. Originally developed as the Bosch 1886 in 2000, the phone was branded as the Siemens S40 after Siemens acquired the Bosch mobile phone division. The Siemens S40 is a tri-band mobile phone that operates on the GSM-900, GSM-1800, and GSM-1900 networks. Communication with a computer can be done either through the infrared port (IrDA) on the phone or a USB or serial port data cable. Its more distinctive features include the voice memo recorder, the mute feature for conversations, the ability to record phone conversations, and the ringtone composer (a useful alternative for those unsatisfied with the 47 monophonic ringtones). Another notable fact about this phone is its very low SAR (specific absorption rate) of 0.33, making it #10 on the CNET's list of ten lowest-radiation cell phones as of 2005. Also it was one of the first phone with HSCSD.
Document 12: Millet (manufacturer): Millet is a French-based company specializing in outdoor equipment such as backpacks and sleeping bags, owned by Lafuma. They also offer a wide variety of other equipment, earning comparisons to United States-based companies such as Timberland and Columbia Sportswear.
Document 13: Redmi 1S: The Xiaomi Redmi 1S, code-named armani, is a smartphone released in May 2014, developed by the Chinese company Xiaomi Inc.. It is a part of the Redmi series of smartphones, and succeeded the Redmi 1. Visually similar to its predecessor, it comes with a 4.7-inch screen, a quad-core 1.6 GHz Cortex-A7 processor and runs Android version 4.3 (Jellybean), bundled with the proprietaryMIUI v5 user interface, which can be upgrated to MIUI v9 based on Android 4.4.
Document 14: Nexus 7 (2012): The first-generation Nexus 7 is a mini tablet computer co-developed by Google and Asus that runs the Android operating system. It is the first tablet in the Google Nexus series of Android consumer devices marketed by Google and built by an original equipment manufacturer partner. The Nexus 7 features a 7 in display, an Nvidia Tegra 3 quad-core chip, 1 GB of memory, Wi-Fi and near field communication connectivity, and 8, 16 or 32 GB of storage. The tablet was the first device to ship with version 4.1 of Android, nicknamed "Jelly Bean". By emphasizing the integration of the Google Play multimedia store with Android 4.1, Google intended to market the Nexus 7 as an entertainment device and a platform for consuming e-books, television shows, films, games, and music.
Document 15: Smartisan: Smartisan Technology Co., Ltd. (), commonly known as Smartisan, is a Chinese multinational technology company headquartered in Beijing. It designs and markets consumer electronic devices and online services. Its hardware product line includes the Smartisan smartphone and the Smartisan earphone. Its consumer software include the Smartisan OS operating system. Its online services include the Smartisan Store, the Smartisan OS App Store and Smiling Cloud.
ground_truth: Beijing