EOF; } } else { echo << EOF; } ?>