Title: Kam Theory and Semiclassical Approximations to Eigenfunctions