function inc (f, target) {
	var elem = document.forms[f].elements[target];
	var current_val = parseInt (elem.value);
	elem.value = ++current_val;
	return (false);
}

function dec (f, target) {
	var elem = document.forms[f].elements[target];
	var current_val = parseInt (elem.value);
	elem.value = --current_val;
	return (false);
}

function submit (f) {
	document.forms[f].submit ();
}

function set_val (f, target, value) {
	document.forms[f].elements[target].value = value;
}