function ButtonOn(button)
{
	if(button == "home") home.src='images/navbar_home_over.gif';
	else home.src='images/navbar_home.gif';
	if(button == "sample") sample.src='images/navbar_samples_over.gif';
	else sample.src='images/navbar_samples.gif';
	if(button == "down") down.src='images/navbar_downloads_over.gif';
	else down.src='images/navbar_downloads.gif';
	if(button == "order") order.src='images/navbar_order_over.gif';
	else order.src='images/navbar_order.gif';
	if(button == "contacts") contacts.src='images/navbar_contacts_over.gif';
	else contacts.src='images/navbar_contacts.gif';
}