This is the length of an average penis