hp elitebook 8470p

I'm currently studying Cyber Security and wanted to buy a computer, as i can't work with my Toshiba (i3-2328m 2.2 Ghz, 4gb Ram) and i have found 2 used laptops for ~$236 each (converted from our currency). Please help me decide which one is for me (I have to work with VirtualBox and run multiple...