window.onload = function() {
document.title = header.innerText
}
document.onmousemove = function() {
window.status = "Galaxy Defense"
return false
}
function text(tf,id) {
if (tf == true) {id.style.textDecoration = "underline";id.style.color = "rgb(65,86,128)"}
if (tf == false) {id.style.textDecoration = "none";id.style.color = "white"}
}