// JavaScript Document
var header = "";
if(navigator.userAgent.indexOf("IE") != -1)
{
	header ="<div id='detail_topcolumn_m' style='width:792px'>"
}

else
{
	header ="<div id='detail_topcolumn_m'>"
}
document.write(header);