// JavaScript Document
function addCodeNum() {
	var pre = document.getElementsByTagName('pre');
	for(var i=0,l=pre.length;i<l;i++) {
		if (pre[i].className != 'code') continue;
		var html = '<ol>';
		var text = pre[i].innerHTML.replace(/ /g, '&nbsp;');
		if(navigator.userAgent.match(/MSIE/)) {
			text += "\n";
		}
		var texts = text.split('\n');
		for(var j=0,m=texts.length-1;j<m;j++) {
			if(window.opera && texts[j] == '') {
				texts[j] = '&nbsp;';
			}
			html += '<li>' + texts[j] + '</li>';
		}
		pre[i].innerHTML = html + '</ol>';
	}
}

function isInternalLink(url) {
	if (typeof(url) != 'string') {
		return false;
	} else if (url.indexOf(location.protocol + '//' + location.host) == 0) {
		return true;
	} else if (url.match(/^https?:\/\//)) {
		return false;
	} else {
		return true;
	}
}

function wopen(url) {
	if (url) {
		opwin = window.open(url);
		opwin.focus();
	}
}

function writeSupportLink() {
	
	
}

function writeMailAddress() {
	
}