' | | vis(