#include <stdio.h>
/*
int main(char** args, int argc)
*/

int main(void)
{
int n;
for (i = 1 ; i < 100 ; i++) printf("%4d：" , i);
}