function stripTilde() {
    var tilde = /^\~ (.*?)/i; // a RegExp obj.
    var form_value = document.getElementById('eventName').value;       
    var replace_value = form_value.replace(tilde, "$1");
    document.getElementById('eventName').value = replace_value;
}