function setCoef() {var coef = document.getElementById('coef').value;if (coef.match(/^[01](\.\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 > 0) {document.getElementById('coef').value = coef;} else {document.getElementById('coef').value = 1;}}};