14471x3 ) [ 8010 .]