[ 9839 ] & lt;