define al_142640 = [142640];