Hi:
If the F11 key isn't doing anything, you will need to order a set of recovery disks by calling HP for the country you live in at the link below.
http://www8.hp.com/us/en/contact-hp/ww-contact-us.html
Call the number listed for Business Desktops/Notebooks.
You will also need to provide the serial number to the customer services rep.