misc417