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;
var $flash=0;