int a = 5;

do
{
	cout << "Woohoo!\n";
	a++;
}
while (a > 12);