6.317 search