12v DC to 19v DC (or multiple voltages) prob under $50
another way to do it is a 12v DC to 230v AC inverter. a lot more expensive but if you size it big enough you can run other mains power devices from a battery depends what size wattage but in the $000's
Cheers
__________________
There are 3 types of people in this world, Ones who make it happen, the second who watches what happens and the third who wonders what happened