if ($_GET['fm']) { echo " "; }