DEF01=a