Samsung NP-R720 17.3" Pentium Dual-Core T4300 2.1 GHz 4GB with charger
4GB DDR2 (2x2GB) are present and working.
eBay