// page.zoomFactor = 1.0;
page.viewportSize = {
width: system.args[3] ? system.args[3] : 1200,
height: system.args[4] ? system.args[4] : 1000
};
// page.zoomFactor = 1.0;
page.viewportSize = {
width: system.args[3] ? system.args[3] : 1200,
height: system.args[4] ? system.args[4] : 1000
};