7173 * 1 .)