function LanguageHovers ( )
{
	var l;
	if ( l = document.getElementById ( 'Languages' ) )
	{
		var imgs = l.getElementsByTagName ( 'IMG' );
		for ( var a = 0; a < imgs.length; a++ )
		{
			ele = imgs[ a ];
			ele.onmouseover = function ( )
			{
				this.old = this.src;
				this.src = str_replace ( '.jpg', '_over.jpg', this.src );
			}
			ele.onmouseout = function ( )
			{
				this.src = this.old;
			}
		}
	}
}
LanguageHovers ( );