>>443
return 8 <= a && 13 >= a;