function set_index_frame( default_content)
{
    // bepaal de namen van top, content en footer uit optionele GET-parameters
    // default zijn default_content, 'kop_links.html'
    var anker		= location.hash;
    var passed		= location.search ? unescape(location.search.substring(1)) + '#' : '';
    var myContent	= (passed ? passed.substring(0,passed.indexOf('#')) : default_content) + anker;

    var myFrameset = 
	'<frameset cols="183,*" framespacing="0" frameborder="no" border="0" style="background-color:black">\n' +
	'<frameset rows="*,80" framespacing="0" frameborder="no" border="0" >\n' +
    	'  <frame name="menu" scrolling="no" noresize="noresize"  src="menu.html" frameborder="0"/>\n' +
    	'  <frame name="teller" scrolling="no" noresize="noresize" src="teller.html" frameborder="0"/>\n' +
	'</frameset>\n' +

	'<frame src="'+ myContent + '" name="content" frameborder="0"/>\n' +
	'<\/frameset>\n';

    //alert( myFrameset);
    document.write( myFrameset);
}