* t * 7-t