<?php
if (isset($_POST['search'])) $search = addslashes(trim(strip_tags(stripslashes($_POST['search']))));
else $search = NULL;

print "
<div class='form-row'>
	<label for='search' class='form-label'>".LABEL_SEARCH."</label>
	<div class='form-cols'>
		<div class='form-col form-full'>
			<div class='form-controls'>
				<input type='text' class='field' id='search' name='search' value='".$search."'>
			</div><!-- /.form-controls -->
		</div><!-- /.form-col -->
	</div><!-- /.form-cols -->
</div><!-- /.form-row -->";