function tab_a(){
	var _url = location.href;
	var _tab = 'tab1';
	if (_url.indexOf('product_list')>0) _tab='tab2';
	if (_url.indexOf('download_list')>0) _tab='tab3';
	if (_url.indexOf('notes')>0) _tab='tab4';

	document.getElementById(_tab).className='active';
}
function tab_hl(obj){
	if (obj.className!='active')obj.className='tab_hl';
}
function tab_n(obj){
	if (obj.className!='active')obj.className='normal';
}