function show_picture(img,width,height) {
var w_height = 45 + parseInt(height);
if (w_height > window.screen.availHeight)
w_height = window.screen.availHeight;
pic = window.open('' + img + '', 'img', 'width=' + width + ', height=' + w_height + ', resizable=0');
pic.document.write('Увеличенное изображение 
');
}
navHover = function() {
if (document.getElementById) {
nav = document.getElementById('menu');
for (i=0; i