var output_tmp = "
"; document.write(output_tmp);