function get_value(id)
{
	return document.getElementById(id).value;
}

function set_value(id,val)
{
	document.getElementById(id).value = val;
}