即“晋废帝海西公”。