"; } if ($userid !=NULL) { echo <<