made functions for debug printing