[exec]

<div id="txt">
	$TEXT$
</div>
<script type="text/javascript">
	document.getElementById("txt").innerHTML = document.getElementById("txt").innerHTML.slice(0, 250) + "…";
</script>