function on_over() {
	style = document.getElementById('text').style.visibility = "visible";
}
function on_out() {
	style = document.getElementById('text').style.visibility = "hidden";
}
function on_click() {
	document.location = "http://www.realtimespacelab.com/";
}