12393 ) & lt;