var toolsclick = 0;


function showtools() {

if (toolsclick == "0") {
toolsopen();
}

else if (toolsclick == "1") {
toolsclose();
}

}

function toolsopen() {

document.getElementById("stretchinner").style.display = "block";
toolsclick = 1;

}

function toolsclose() {

document.getElementById("stretchinner").style.display = "none";
toolsclick = 0;

}