Ask HN: what is the length of your penis ?