[ 53 9 .]