If one wished to travel north out of Kathmandu, what highway would be used