ordinary hose mender suitable for a 12.5mm hose