windiws32bit

Hello all, I have an old ( year 2007) HP DV6000 special edition ( copper brown) laptop which I use while traveling. When I bought it I had upgraded it to 4GB RAM but since it is 32 bit it uses only up to 3GB RAM. The guy who upgraded it never told me this though! Now I am thinking of formatting...