5 ( 13072 .)