OEM Washer Door Switch replaces Samsung # PS4205052 DW-DL72A