2000年农历2月1日:一般17岁的男孩子,阴茎的勃起应该多长,才算是正常的?