47 ; & gt;