Types of RAM - MSI K7D Master-L

Hello all,

I'm going to be putting a couple mobile bartons in my K7D and was wondering which of the following RAM types would be best for a solid overclocking attempt with the K7D, also considering price in best bang for my buck:

KINGSTON HYPERX 512MB DUAL CHANNEL KIT PC3700 2X256MB DDR 466MHZ 184PIN
(KHX3700K2/512) Reg. Price:$283.77 Saving Code: 10801-1048 $169.98 40.10%

OCZ DUAL CHANNEL OPTIMIZED 2X256MB DDR PC3200 CAS2 W/ COPPER HEAT SPREADER
(OCZ400512ELDC-K) Reg. Price:$231.84 Saving Code: 9476-1048 $169.98 26.68%

SAMSUNG 512MB PC3200 DDR400 184PIN OEM
(SAMSUNG3200-512M) Reg. Price:$142.60 Saving Code: 9545-1048 $128.98 9.55%

Thanks!