function do_nothing()
{
}


function round(integer, zeros)
{
	zeros = (!zeros ? 2 : zeros);
	return Math.round(integer * Math.pow(10,zeros)) / Math.pow(10,zeros);
}

function mt(m, a)
{
	window.location = 'mailto:' + m + '@' + a;
}