Question: What South Korea-based girl group formed by S.M. Entertainment in 2009 was included in the debut EP of South Korean boy group Shinee music video?

Context paragraphs:
Replay (EP): "Replay" (Korean: 누난 너무 예뻐 ; lit: Noona (Older Girl) Is So Pretty) is the debut EP of South Korean boy group Shinee, released on May 22, 2008 from their label company, S.M. Entertainment.  Their debut song, "누난 너무 예뻐 (Replay)" was created by music composer Yoo Young-jin with a contemporary, sophisticated R&B feel and rhythm.  The EP consists of five tracks and debuted at #10 on the MIAK charts (Music Industry Association of Korea) and peaked at #8.  The lead single, "Noona Neomu Yeppeo (Replay)", turned into a hit, especially with the adult female demographic because of its line about "Nuna (older sister), you’re so pretty".  Rino Nakasone worked on the choreography for the title song.  The Korean music video included f(x)'s Victoria as the female lead, while the song's Japanese music video featured YoonA of Girls' Generation.

Sherlock (EP): "Sherlock" is the fourth EP of South Korean boy group Shinee.  The EP consists of seven tracks including the title song "Sherlock (Clue + Note)" a hybrid remix of the two songs.  It was released on March 21, 2012, in South Korea under the seal of the label S.M. Entertainment and distributed by KT Music.  The album was made available online worldwide on March 19, 2012.  The EP is Shinee's first Korean release after a year and 6 months hiatus.

Kim Jong-hyun (singer): Kim Jong-hyun (born April 8, 1990), better known by the mononym Jonghyun, is a South Korean singer-songwriter, and radio host.  He is a vocalist of the South Korean boy group Shinee, and has further participated in S.M. Entertainment's project group S.M.  The Ballad.  Jonghyun debuted as a solo artist on January 12, 2015, with his first EP, titled "Base".  In the same year, on September 17, Jonghyun released a compilation album, "Story Op.1".  On May 24, 2016, Jonghyun released his first studio album, "She Is", followed by his second compilation album, "Story Op.2" on April 24, 2017.

I Just Wanna Dance: I Just Wanna Dance is the debut extended play by South Korea-based American singer Tiffany.  It was released by S.M. Entertainment on May 11, 2016.  Lee Soo-man, former president of S.M. Entertainment, served as executive producer on the EP.  The EP marked the official solo debut of Tiffany after having been known as a member of South Korean girl group Girls' Generation for nearly nine years.  Musically, the record is a primarily synthpop album with elements of trap and R&B that draws heavy influence from American female artists of the 1990s.

Shinee: Shinee ( ; Korean: 샤이니; Japanese: シャイニー; stylized as SHINee) is a South Korean boy group formed by S.M. Entertainment in 2008.  The group is composed of five members: Onew, Jonghyun, Key, Minho and Taemin.

List of awards and nominations received by Shinee: South Korean boy group Shinee have received several awards and nominations for their music work.  The group was formed by S.M. Entertainment in 2008 and released their first full-length album, "The Shinee World", on August 28, 2008, which won the Newcomer Album of the Year at the 23rd Golden Disk Awards.  The first single released from the album was "Sanso Gateun Neo (Love Like Oxygen)" and won first place on "M Countdown" on September 18, 2008 making it the group's first win on Korean music shows since debut.  Their second album "Lucifer" (2010) produced two singles, "Lucifer" and "Hello".  For their outstanding choreography the group was nominated for the Best Dance Performance Award at the Mnet Asian Music Awards in 2010. " Lucifer" also won the Disk Bonsang Award at the 25th Golden Disk Awards as well as the Popularity Award.  On March 21, 2012 the group released their fourth EP "Sherlock" for which the group was awarded another Disk Bonsang Award at the 27th Golden Disc Awards and the Bonsang Award at the 22nd Seoul Music Award.  Also following the success of the lead single it was also nominated for Song of the Year at the 2012 Mnet Asian Music Awards.

Romeo (EP): Romeo (Korean: 로미오 ) is the second EP of South Korean boy group Shinee.  It was released on May 25, 2009 in South Korea under the seal of the label S.M. Entertainment.  The EP consists of six tracks including the title song "Juliette" and is Shinee's first Korean release after nine months hiatus.  On August 29, 2011 a Japanese version of "Juliette" was released as Shinee's second Japanese single with the original Japanese song "Kiss Kiss Kiss" as a B-side.  The release peaked at #3 on the weekly Oricon chart.

F(x) (band): f(x) ( ; Hangul: 에프엑스 ) is a South Korea-based girl group formed by S.M. Entertainment in 2009.  Since their debut, f(x) has released four full-length albums, two extended plays, and one repackaged album.  The group is currently composed of four members: Victoria, Luna, Amber, and Krystal.  It was originally a five-piece group (with Sulli, who later departed from the group in August 2015).

4 Walls: 4 Walls is the fourth studio album by South Korea-based girl group f(x), released by S.M. Entertainment on October 27, 2015.  Lee Soo-man, former president of S.M. Entertainment, served as the executive producer of the album.  It marked the group's first release as a four-member group after former member Sulli left the group in August 2015.

Twice discography: South Korea-based girl group Twice have released four extended plays (one of which was reissued under a different title), one compilation album, one compilation EP, and five singles.  Formed by JYP Entertainment in 2015 through the survival show "Sixteen", Twice debuted in October 2015 with the release of their first EP, "The Story Begins", and its single "Like Ooh-Ahh".  The EP and the single peaked at No. 3 and No. 10 on the Gaon Music Chart, respectively.  "The Story Begins" eventually sold over 120,000 copies, becoming the best-selling debut extended play by a K-pop girl group of all time, breaking the record set by Girls' Generation's first extended play "Gee" (2009), which sold nearly 100,000 copies.

Supporting paragraphs: Replay (EP) F(x) (band)
Answer: f