// $Id: init.js,v 1.2 2006/10/06 13:07:50 amoe Exp $

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