$AST は次の$AVA $UTK になります