// JavaScript Document

infotext_is_displayed = 1;
 
function RemoveText() {
                if (infotext_is_displayed==1) 
                {
                    document.lijst.zoeken.value = "";
                    document.lijst.zoeken.style.color = "#000000";
                    infotext_is_displayed = 0;
                }
            }