<html>
<head>
<title> <?php echo basename(__file__, '.php'); ?> </title>
</head>
<body>
<h1>h1 in html</h1>
<script type="text/javascript">
document.write('<h2> document.write in javascript </h2> <ol>');
document.write('<li> now = ' + new Date().toString() + '</li>');
document.write('</ol> letztes document write in diesem script');
</script>
<h1>Source <?php echo __file__; ?> </h1>
<?php highlight_file(__file__) ?>
</body>
</html>