function activateSearchButtonOnEnter()
{
	var key = event.keyCode;
	if(key == 13)
	{
		window.location='search_' + document.getElementById('searchInput').value + '.html';
	}
}

function change_page() 
{
	var x=document.getElementById('select_input').value;	
	if (x=="Graphics") 
	{
		window.location='Graphics_Clusters_and_Servers.html'; 
	}
	if (x=="Computers") 
	{
		window.location='Personal_Computers_and_Professional_Workstations.html'; 
	}
	if (x=="mobile") 
	{
		window.location='Mobile_and_Embedded_Devices.html'; 
	}
}