add 9 using python