Minimal web application to work out the local time for any US telephone number