var $spinner='/edit/icons/spinner.gif'; var $plus='/edit/icons/plus.gif'; var $minus='/edit/icons/minus.gif'; var $empty='/edit/icons/empty.gif'; var $zoom=124;