Is that a glue on piping around the edges?