' 531 & lt;