0) { //$flipperID = 'flipper' . $highlight['hotspot']; $flipperID = 'flipper1'; $flipperImages = json_encode(getFlipperImages($highlight['hotspot'], true)); //echo ''; echo $flipperImages; //} ?>