allen junction