{ -*- buffer-read-only: t -*- }
{ DON'T EDIT -- this file was automatically generated from "_tipue_results.html" }
'<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">' + LineEnding +
'' + LineEnding +
'<html>' + LineEnding +
'<head>' + LineEnding +
'<title>Search Results</title>' + LineEnding +
'' + LineEnding +
'###-PASDOC-HEAD-###' + LineEnding +
'' + LineEnding +
'</head>' + LineEnding +
'<body>' + LineEnding +
'' + LineEnding +
'###-PASDOC-BODY-BEGIN-###' + LineEnding +
'' + LineEnding +
'<h1>Search results</h1>' + LineEnding +
'' + LineEnding +
'<div id="tipue_search_content"></div>' + LineEnding +
'' + LineEnding +
'###-PASDOC-BODY-END-###' + LineEnding +
'' + LineEnding +
'</body>' + LineEnding +
'</html>' + LineEnding +
''
