use print in python 3 style