16 3 { ; *25512