function setCoef() {var coef = document.getElementById('coef').value;if (coef.match(/^\d(\.\d+)?(\/\d(\.\d+))?$/)) {setGlobalVar('coef', coef);};};
function restoreCoef() {var current_coef = document.getElementById('coef').value;if (current_coef == '' || parseFloat(current_coef) == 1) {var coef = getGlobalVar('coef');if (coef !== undefined && coef.match(/^\d(\.\d+)?(\/\d(\.\d+))?$/)) {document.getElementById('coef').value = coef;} else {document.getElementById('coef').value = 1;}}};