// Procedures globales du projet
function WindowFocus()
{
	window.focus();
}