// JavaScript Document

function navigation(file) {
	//parent.mainFrame.window.location.href=file
		parent.window.mainFrame.location.href= file;
}