den 1 & * * /,