Adding search to Dynamics CRM Customer Portal

So I needed to add a search box to a Microsoft Dynamics CRM Customer Portal. So into Visual Web Developer 2010 Express I went. I opened the Customer Portal project and then expanded Pages and eService in the tree. Opening up ViewCases.aspx I located the following

I added this before that:

I then …