var print = document.location.search.substring(7);
if (print == "true") {
	document.write('<link href="css/print.css" rel="stylesheet" type="text/css">\n');
}

function clearfield(el) {
	if (el.defaultValue == el.value) el.value = "";
}
function restorefield(el) {
	if (el.value == "") el.value = el.defaultValue;
}

function viewvalve(valve, position) {
	document.getElementById("valve-holder").src=valve;
	var move = position*30 + 'px';
	document.getElementById("valve-view").style.top=move; }