if (document.all){
}

