离婚时写的离婚诉讼书有什么用?