SCREENVISIBLE() excludes the Dock area unless "Hiding" is turned on -- and it looks from your screenshot that it is. Try for yourself with a simple
...with different Dock settings. On my Air it gives "828" with the Dock always visible and "875" with it set to hide.