半砖长是多少