Tag: what is ike short for