getName

fun getName(term: Int): String