us9½ = eu42½