// intro
function main(){
document.write('');
}
function sub(){
document.write('');
}
function license(){
document.write('');
}
function port(){
document.write('');
}
function bluring(){
if(event.srcElement.tagName=="A"||event.srcElement.tagName=="IMG")
document.body.focus();
}
document.onfocusin=bluring;