function main(){}

/******************************************************** OCEAN TOOLS KIT *****/

// Raccourcis
function $(str)
{
	return document.getElementById(str);
}