/* This document (v.2.0) was created and coded by Joris DEL PINO */

function over(text)
{
	var id = document.getElementById("mouse");
	id.innerHTML = text;
}

function out()
{
	var id = document.getElementById("mouse");
	id.innerHTML = "";
}