function flip(image) {
	document.getElementById('prodimg').src = image.src.replace("t.jpg",".jpg");
}
function quickexpand(editbox) {
	editbox.parentNode.parentNode.nextSibling.nextSibling.style.display="table-row";
}