Python program to find the hcf