// end_var_declaration
inc_tiverton_js =

'307, 375, 469, 599, 624, 625, 685, 815, 816'

document.write(inc_tiverton_js);// JavaScript Document