Similar to Here maps geocode wrong postal codes for Israel.
7 digits is claimed on https://developer.here.com/documentation/geocoder/dev_guide/topics/coverage-geocoder.html but only 5 digits are returned.
https://en.wikipedia.org/wiki/Postal_codes_in_Israel claims 5 digit postal codes where phased out in 2013. So package carriers require 7 digit postal codes.
Can we expect HERE.com geocode offering to update to 7 digit postal codes in the near future? If not, the dev guide expectation should be updated to match reality.