function PixelateSelection(){
	var dom = fw.getDocumentDOM();
	var mask  = dom.getPixelMask();
	if (!mask) return;
	var scale = prompt("Pixel size (approximate):", "10");
	if (isNaN(scale)) return;
	scale = Number(scale);
	var opref = fw.getPref("EditTransformMode");
	fw.setPref("EditTransformMode","4");
	dom.moveSelectionBy({x:0, y:0}, true, true);
	dom.scaleSelection(1/scale, 1/scale, "autoTrimImages transformAttributes");
	dom.scaleSelection(scale, scale, "autoTrimImages transformAttributes");
	fw.setPref("EditTransformMode",opref);
}
PixelateSelection();