function setValue(id, val) {
		if (document.getElementById(id) != null){
			document.getElementById(id).value = val;
		}
	}

function getValue(id) {
	if (document.getElementById(id) != null)
		return document.getElementById(id).value;
	return 0;
}

