<!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>Insert title here</title>
</head>
<body>
<script type="text/javascript" src="prototype.js"></script>
<script type="text/javascript">
var logger = document.createElement('div');
logger.setAttribute('id', 'logger');
document.body.appendChild(logger);
function $L(msg) {
var ln = document.createElement('p');
var tx = document.createTextNode(msg);
ln.appendChild(tx);
$('logger').appendChild(ln);
}
</script>
</body>
</html>