7856:萩原工業(株):東証PRM