<!DOCTYPE html>
<html>
<head>
<meta charset="hz-gb-2312">
<title>Bug 801681</title>
</head>
<body>
<p>~{;p:|~ ~ ~ ~ ~ ~}</p>
</body>
</html>