#!/usr/bin/python3
import random
f0 = random.random()
f1 = int( f0 +0.55 )
print (f0," : ", f1)