debugging 12