523-394等于几