alu9 (17K)