<?php
function searchNodes()
{
?>
<!-- This contains the searchbox of the searchtool, and the send button for it -->
<div id="searchbox">
	<input type="text" name="naam" size="18" maxlength="30" onkeyup="suggestMarkers(this.value)">
</div>
<!-- This contains the list of nodes, in future the searchbox will make it possible to filter this list -->
<?php
}

?>
