<?php
$file = basename($_SERVER['SCRIPT_FILENAME']);
$style = substr($file, 0, -3) . 'css';
$text = substr($file, 0, -3) . 'txt';
?>
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
"http://www.w3.org/TR/html4/loose.dtd">
<html>
<head>
<meta http-equiv="Content-type" content="text/html;charset=UTF-8">
<title>OpenLayers Example</title>
<script src="http://openlayers.org/api/OpenLayers.js" type="text/javascript"></script>
<script src="http://openstreetmap.org/openlayers/OpenStreetMap.js" type="text/javascript"></script>
<link rel="stylesheet" href="<?= $style; ?>" type="text/css">
</head>
<body>
<h1>A Map in a Web Page</h1>
<div id="map_frame"><div id="map"></div></div>
<script type="text/javascript" defer="defer">
var map = new OpenLayers.Map('map', {
controls: [
new OpenLayers.Control.Navigation(),
new OpenLayers.Control.PanZoom(),
new OpenLayers.Control.LayerSwitcher(),
new OpenLayers.Control.KeyboardDefaults()
]});
var osmarender = new OpenLayers.Layer.OSM.Osmarender("Osmarender");
var mapnik = new OpenLayers.Layer.OSM.Mapnik("Mapnik");
map.addLayer(osmarender);
map.addLayer(mapnik);
var lonLat = new OpenLayers.LonLat(1158440, 3225758);
map.setCenter(lonLat, 3);
</script>
<? readfile($text); ?>
</body>
</html>