:- initialization(main).

main :-
	number_chars(X, "0''"), write(X), nl.