How do you evaluate log15(1225)?