#include <stdio.h>
#include <stdlib.h>

int main(int argc, char * * argv) {
	for (double i=0; i < 10; i += .5) {
    		printf("%.1f: %.0f\n", i, i);
	}
	return 0;	
}