I wanted to do a clean install of my Win7 after I get my HDD so I decided to download the Official ISO from here.I got this link from HP's website. I have the product key with me but not the discs as the OS was pre-installed.
My laptop is HP DV4-2126TX with First Generation i3 processor.
I know when you buy a laptop the cost includes that of the OS so I guess its no piracy moving from a 32bit OS to a 64bit OS as the cost includes both.
Please answer with reference to the site as to which one do I download.