7912 * 1 .)