function hide_menu() {
	document.getElementById('content').style.width='720px';
	document.getElementById('view_menu').style.display='block';
	document.getElementById('vert_menu').style.display='none';
}
function view_menu() {
	document.getElementById('content').style.width='525px';
	document.getElementById('view_menu').style.display='none';
	document.getElementById('vert_menu').style.display='block';
}
function tisk() {
	print();
}