function gid(id) {
	return document.getElementById(id);
}

function menu_down(id) {
	gid(id).style.display = "block";
}

function change_mainpic(to) {
	gid("top_pic_div_div").style.left = "-"+to+"px";
	gid("content_div").innerHTML = "Bild wird geändert zu "+gid("top_pic_div_div").style.left;
	//complete
}

function change_content(to) {
	gid("content_div").innerHTML = gid(to).innerHTML;
}

function p2code(strin) {
	var strout = strin.replace(/[^a-zA-Z0-9]/g, "").toLowerCase();
	return strout;


}