用于“File:Leprechaun portrait.gif”的页面值