3-oktober-leiden-hoed