<?php
global $labels;
?>
var labels = new Array();
foreach ( $labels as $index=>$label ) {
labels[<?php echo validInt($index) ?>] = '<?php echo validJsStr($label) ?>';
}