Spirax m10s2rb replacement. EasyAdmin setFormattedValue. Efm32pg23 datasheet pdf. Sanyo AWM-660.