var OK=false;





function doOpen() {
window.location="solution.html";
return 1;
}