Question: What is the number of the installment of the "Die Hard" film series was the song "Just One Last Time" usedas the theme song for?

<P0-S0> "Blow Me (One Last Kiss)" is a song by American recording artist and songwriter Pink, released as the lead single from her sixth studio album, "The Truth About Love" (2012). <P0-S1>  The song was scheduled for a July 9 premiere but was delivered a week earlier, after an initial version was leaked online. <P0-S2>  Produced by Greg Kurstin, the song was critically acclaimed and named as "classic Pink". <P0-S3>  With "Blow Me (One Last Kiss)", at the time Pink ranked third among women with the most top tens since 2000, behind Rihanna and Beyoncé, with twelve top ten hits in the United States. <P0-S4>  The song scored a massive jump on the Hot 100 during its second week, leaping from number 58 to number 9 after promotion on the iTunes Store. <P0-S5>  The music video for "Blow Me (One Last Kiss)" features a black and white picture and was directed by longtime collaborator Dave Meyers who directed almost half of her career's 33 videos. <P0-S6>  It premiered on July 26, 2012 on MTV and VEVO. <SEP> <P1-S0> "One Last Time" is a song recorded by American singer Ariana Grande for her second studio album "My Everything". <P1-S1>  It was written by David Guetta, Savan Kotecha, Giorgio Tuinfort, Rami Yacoub, and Carl Falk. <P1-S2>  The song was produced by the latter two, with Tuinfort serving as a co-producer and Ilya serving both as a co-producer and vocal producer. <P1-S3>  "One Last Time" was first released on the iTunes Store on August 22, 2014 as the second promotional single from the album. <P1-S4>  On February 10, 2015, the song was sent to contemporary hit radio as the fifth and final single from the album. <P1-S5>  A French version of the song featuring French singer Kendji Girac, alternatively titled "Attends-moi", was released on February 16, 2015 in France, Belgium and Switzerland. <P1-S6>  It is also included on the deluxe version of Girac's debut studio album "Kendji" (2015). <P1-S7>  An Italian version of the song featuring Italian rapper Fedez was released on May 26, 2015 only in Italy. <SEP> <P2-S0> "Just One Last Time" is a song performed by French DJ and music producer David Guetta, featuring vocals from Swedish vocal duo Taped Rai. <P2-S1>  The track was released as the second single from the re-release of "Nothing but the Beat", 2.0, and serves as the album's eighth single overall. <P2-S2>  The song was released via digital download on November 15, 2012, and was released as a CD single on February 8, 2013. <P2-S3>  The song is used as the theme song for the film "A Good Day to Die Hard" (2013). <SEP> <P3-S0> A Good Day to Die Hard is a 2013 American action thriller film and the fifth installment in the "Die Hard" film series. <P3-S1>  The film was directed by John Moore and written by Skip Woods, and stars Bruce Willis as John McClane. <P3-S2>  The main plot finds McClane travelling to Russia to get his estranged son, Jack, an undercover CIA agent, out of prison. <P3-S3>  He is soon caught in the crossfire of a global terrorist plot. <P3-S4>  Alongside Willis, the film also stars Jai Courtney, Cole Hauser, Yuliya Snigir and Sebastian Koch as the film's villain.