[ 4.1 ]-[ 5.5 ]-[ 5.6 ]-[ 8.0 ]-[ 8.4 ]-[ 8.6 ]-[ 8.7 ]-[ 8.8 ]-[ 8.9 ]-[ misc ]