proc main() void: writeln(5:b); writeln(50:b); writeln(9000:b); corp