function display(num)
	{
		document.getElementById( "child" + num ).style.display = "block";
		document.getElementById( "child" + num ).style.left = "155px";
		document.getElementById( "child" + num ).style.top = "0px";
	}
	function un_display(num)
	{
		document.getElementById( "child" + num ).style.display = "none";
		document.getElementById( "child" + num ).style.right = "0px";
		document.getElementById( "child" + num ).style.top = "0px";
	}
	
	function display_pic(menu_num, pic_num)
	{
	document.getElementById( "pic" + menu_num ).src = 'img/common/menu' + menu_num + '_' + pic_num + '.gif';

	}