btw I have a slight preference for just printing it here (of those two).