f87xmn1b17d86t4 - execution time: 0.406 sec.