* 12670 & gt;