hi, I've just bought notebook HP Pavilion serrie DV6700 with Core 2 Duo T8300 (2.4GHz) and my question is which version of debian should I install?? Is Etch AMD64 this one ?? thanks in advance Bartek