print <<EOT;
<?xml version="1.0"?>
-<html>
+<html xmlns="http://www.w3.org/1999/xhtml" xmlns:subst="http://www.cs.unibo.it/helm/subst">
<head>
<title>Graph</title>
</head>
<body bgcolor="white" onLoad="window.focus()">
<script>
+ var draw_graphURL = "<subst:draw_graphURL/>";
<![CDATA[
- // NOTE: getParam will be defined during the application
- // of the next stylesheet in the stylesheet chain
- var draw_graphURL = unescape(getParam("param.draw_graphURL"));
document.write('<img border="false" src="' + draw_graphURL + 'get_gif?pid=$ARGV[0]" usemap="#graphe">');
]]>
</script>