#include <stdio.h>

int Min(int a, int b)
{
	return a < b ? a : b;
} 

void MathMin(void)
{
	int min;
	
	min = Min(12, 13);
	printf("%d\n", min); /* 12 */
}

int main(void)
{
	MathMin();
	
	return 0;
}