8200x1 ) ( 4677 . )'