字面だけで見ると
国家公務員×893って感じだね