$val) { $data_str .= "data.$var = '$val';\n"; } print_header(); echo <<

HTML; echo "";