unittest
{
	assert( [ "5", "3", "10000", "9000" ].parse.expand.solve == 48000 );
	assert( [ "2", "3", "10000", "9000" ].parse.expand.solve == 20000 );
}



import std.conv;
import std.range;
import std.stdio;
import std.typecons;

void main()
{
	stdin.byLineCopy.parse.expand.solve.writeln;
}

auto parse( Range )( Range input )
if( isInputRange!Range && is( ElementType!Range == string ) )
{
	auto n = input.front.to!( long );
	input.popFront;
	auto k = input.front.to!( long );
	input.popFront;
	auto x = input.front.to!( long );
	input.popFront;
	auto y = input.front.to!( long );
	return tuple( n, k, x, y );
}

auto solve( long n, long k, long x, long y )
{
	if( n <= k ) return x * n;
	else         return x * k + y * ( n - k );
}
