[ 4 * * 7 .]