function refresh_fritzing(){ location.reload(); }