var cur_num = 0;
function cur_menu()
{
	document.getElementById("top_"+cur_num).background = "images/sale_left.gif";
	document.getElementById("top_side_"+cur_num).src = "images/sale_side.gif";
}

function init()
{
	//cur_menu();
}