print NAMED for debugging