int a = 500;
while (0 <= a) {
	println("a=" + a);
	a -= 123;
}