// JavaScript Document

if(0 && document.getElementById('divhtmloption') && document.getElementsByTagName('sup').length==1) {
	var tmp=document.getElementsByTagName('sup')[0];
	//alert(tmp.innerHTML);
	var maliste=new Array();
	maliste=tmp.innerHTML.split('<br>');
	alert(maliste.length);
	//tmp.innerHTML='';
}