13392 / 1 .)