public int getCurrentScrollY() {
<BUG>return executeJsScript(Browser.CURRENT_SCROLL_Y_JS);
</BUG>
}
public int getDocWidth() {
<BUG>return docWidth != -1 ? docWidth : executeJsScript(MAX_DOC_WIDTH_JS);
</BUG>
}
public int getDocHeight() {
<BUG>return docHeight != -1 ? docHeight : executeJsScript(MAX_DOC_HEIGHT_JS);
</BUG>
}

public int getCurrentScrollY() {
return ((Long) executeJsScript(Browser.CURRENT_SCROLL_Y_JS)).intValue();
}
public int getDocWidth() {
return docWidth != -1 ? docWidth : ((Long) executeJsScript(MAX_DOC_WIDTH_JS)).intValue();
}
public int getDocHeight() {
return docHeight != -1 ? docHeight : ((Long) executeJsScript(MAX_DOC_HEIGHT_JS)).intValue();
}
