bug finder 2013 (143.333)