//<script>

function $(element)
{
	return document.getElementById(element);
}

function vote(mark)
{
	$('mark').value = mark;
	$('main_form').submit();
}

function trim(str)
{
	return str.replace(/(^\s+|\s+$)/gi, '')
}
//</script>