function machemix () {
	var i = 1;
}

function toggleVisibility(id, NNtype, IEtype, W3Ctype) {
    

	if (document.getElementById) {
    eval("document.getElementById(id).style.visibility = \"" + W3Ctype + "\"")
    } else {
    if (document.layers) {
    document.layers[id].visibility = NNtype;
    } else {
    if (document.all) {
    eval("document.all." + id + ".style.visibility = \"" + IEtype + "\"");
            }
        }
    }
}