' 873 * 2 .)