7934 y 1 .)