// JScript File

function checkDivHeader(id)
 {
 return; 
 }