( * 4 5 48 .)