<commit_before><?php
include "config.php";
?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<!-- This page is almost a direct copy of http://uwmike.com/maps/manhattan2/ -->
<!-- I'm not a web-whiz! -KB8U -->
<head>
<title>Stations received by <?php echo $user; ?></title>
<script src="http://maps.google.com/maps?file=api&amp;v=2&amp;key=<?php echo $key; ?>" type="text/javascript"></script>
<script src="map_data.js" type="text/javascript"></script>
<script src="labeled_marker.js" type="text/javascript"></script>
<script src="map_functions.js" type="text/javascript"></script>
<link href="style.css" rel="stylesheet" type="text/css" />
</head>
<body class="sidebar-right">
<div id="toolbar">
<h1> TV stations received by <?php echo "$user in $city, $state"; ?></h1>
</h1>
<script src="time.js" type="text/javascript"></script>
<img src="green_dot.png" width='15' height='15' />Strong signal
<img src="yellow_dot.png" width='15' height='15' />Medium signal
<img src="red_dot.png" width='15' height='15' />Weak signal
<img src="black_dot.png" width='15' height='15' />Detected in last 48 hours, but not currently<br>
Zoom in for more stations.  Click a call sign for more details.
This page updates every five minutes.<commit_msg>Fixed errant </h1><commit_after><?php
include "config.php";
?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<!-- This page is almost a direct copy of http://uwmike.com/maps/manhattan2/ -->
<!-- I'm not a web-whiz! -KB8U -->
<head>
<title>Stations received by <?php echo $user; ?></title>
	<script src="http://maps.google.com/maps?file=api&amp;v=2&amp;key=<?php echo $key; ?>" type="text/javascript"></script>
	<script src="map_data.js" type="text/javascript"></script>
	<script src="labeled_marker.js" type="text/javascript"></script>
	<script src="map_functions.js" type="text/javascript"></script>
	<link href="style.css" rel="stylesheet" type="text/css" />
</head>

<body class="sidebar-right">
<div id="toolbar">
<h1> TV stations received by <?php echo "$user in $city, $state"; ?></h1>
<script src="time.js" type="text/javascript"></script>
<img src="green_dot.png" width='15' height='15' />Strong signal
<img src="yellow_dot.png" width='15' height='15' />Medium signal
<img src="red_dot.png" width='15' height='15' />Weak signal
<img src="black_dot.png" width='15' height='15' />Detected in last 48 hours, but not currently<br>
Zoom in for more stations.  Click a call sign for more details.
This page updates every five minutes.
{'fraction_non_alphanumeric': 0.20573984345881477, 'fraction_numerical': 0.02609019754006709, 'mean_word_length': 5.330188679245283, 'pattern_counts': {'":': 0, '<': 69, '<?xml version=': 0, '>': 69, 'https://': 0, 'lorem ipsum': 0, 'www.': 4, 'xml': 2}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '47381', 'n_tokens_mistral': 986, 'n_tokens_neox': 923, 'n_words': 244}