var d = document;
var w = window;

function go(korteNaam){
        if(korteNaam.length > 1){
                setSource(korteNaam);
        }
        return false;
}

function setSource(zenderNaam){
        if (d.getElementById){
                d.getElementById("player").src="http://www.radioguide.fm/player.php?zender=" + zenderNaam;
        }else if(d.all){
                d.all.player.src="http://www.radioguide.fm/player.php?zender=" + zenderNaam;
        }
}