How many numbers are there in Japanese postal codes?