// $Id: init.js,v 1.1 2006/11/07 17:05:22 amoe Exp $

//****************** init *********************************//
var top = '';
function init(){
	treeMenu_init(document.getElementById('html_menu'));
}