display($string); } ?>