HP EliteBook 840 G10 i5-1335U · 16GB · 512GB condition · TradeDigi