/* common functions */

function redirectPage(url)
{
	window.location.href = url;
}