procedure main(arg)
	every writes( (0 to 9) | !"ABCDEF" )
	write()
end