Assuming you have the activation key (should be printed on the bottom of the laptop), you can download the official Windows 7 ISO here:
http://www.w7forums.com/threads/official-windows-7-sp1-iso-image-downloads.12325/
Get all the drivers from HP before you start.